' Art. 90. Elke persoon die op een bepaald ogenblik de voorwaarden inzake leeftijd en duur van de diensten vervult die, voor de personeelscategorie waartoe hij op dat ogenblik behoort, gelden om voor de leeftijd van 62 jaar een rustpensioen te bekomen, behoudt het genot van dit voordeel, ongeacht de latere werkelijke ingangsdatum van zijn pensioen of de personeelscategorie waartoe hij op die datum behoort '.
' Art. 90. Wer zu einem bestimmten Zeitpunkt die Bedingungen in Bezug auf Alter und Dienstzeit erfüllt, die für die Personalkategorie gelten, der er zu diesem Zeitpunkt angehört, um vor dem Alter von zweiundsechzig Jahren eine Ruhestandspension zu erhalten, hat weiterhin Anspruch auf diesen Vorteil, ungeachtet des Datums, an dem seine Pension später tatsächlich einsetzt, oder der Personalkategorie, der er an diesem Datum angehört'.