- das Alter von 59 oder mehr Jahren erreicht, auf jeden Fall nach Ablauf eines Zeitraums von einem Dienstjahr in den Ruhestand versetzt werden, der zu dem Zeitpunkt einsetzt, zu dem diese Person aufgrund der am 31. Dezember 2015 geltenden Rechtsvorschriften die Bedingungen erfüllt, um vorzeitig in den Ruhestand versetzt werden zu können ».
- de leeftijd van 59 jaar of meer bereikt in ieder geval op pensioen worden gesteld bij het verstrijken van een periode van één jaar diensten die aanvangt op het ogenblik waarop hij, op basis van de wetgeving van kracht op 31 december 2015, de voorwaarden vervult om vervroegd op pensioen te kunnen worden gesteld ».