een uitkering bij vertrek gelijk aan driemaal de op zijn basissalaris ingehouden pensioenbijdragen, verminderd met de bedragen die zijn betaald bij toepassing van de artikelen 42 en 112 van de regeling die van toepassing is op de andere personeelsleden, indien hij ten minste gedurende een jaar in dienst is geweest en geen gebruik heeft gemaakt van de mogelijkheid waarin in artikel 11, lid 2, is voorzien;
dass ihm, wenn er weniger als ein Dienstjahr abgeleistet hat und sofern er nicht die Möglichkeit des Artikels 11 Absatz 2 wahrgenommen hat, ein Abgangsgeld in dreifacher Höhe der als Ruhegehaltsbeiträge von seinem Grundgehalt einbehaltenen Beträge ausgezahlt wird, abzüglich der Beträge, die in Anwendung der Artikel 42 und 112 der Beschäftigungsbedingungen für die sonstigen Bediensteten gezahlt wurden,