b) een uitkering bij vertrek evenredig aan de werkelijk volbrachte diensttijd, berekend op basis van anderhalve maand van het laatste aan inhouding onderworpen basissalaris per dienstjaar;
b) einem Abgangsgeld entsprechend der tatsächlich abgeleisteten Dienstzeit und berechnet unter Zugrundelegung des eineinhalbfachen Betrags des letzten abzugspflichtigen Monatsgehalts je Dienstjahr,