permanent employee of a Community institution in an established post, the term 'Community official` shall mean: - any person who is an official or other contracted employee within the meaning of the Staff Regulations of officials of the European Communities or the Condi