Hat der Beamte beim endgültigen Ausscheiden aus dem Dienst Anspruch auf ein Abgangsgeld, so verringert sich dieses um den Betrag der Zahlungen nach Artikel 42 der Beschäftigungsbedingungen für die sonstigen Bediensteten; hat der Betreffende Anspruch auf ein Ruhegehalt, so werden die Ruhegehaltsansprüche im Verhältnis zu den nach dem genannten Artikel geleisteten Zahlungen gekürzt".
Wanneer de ambtenaar bij beëindiging van zijn dienst recht heeft op de uitkering bij vertrek, wordt deze uitkering verminderd met het bedrag van de betalingen die zijn gedaan ingevolge artikel 42 van de regeling welke van toepassing is op de andere personeelsleden; wanneer de betrokkene recht heeft op een ouderdomspensioen, worden zijn rechten op pensioen verminderd naar evenredigheid van het bedrag van de betalingen die ingevolge dit artikel zijn gedaan".