3 - للقاضي الذي توقف عن الخدمة قبل بلوغ الستين، والذي يحق له الحصول على معاش تقاعدي عند بلوغ تلك السن، خيار الحصول على معاش تقاعدي بداية من أي تاريخ يختاره بعد توقفه عن الخدمة.
Ein Richter, der vor Vollendung des sechzigsten Lebensjahres aus dem Amt geschieden ist und der bei Erreichen dieser Altersgrenze Anspruch auf ein Ruhegehalt hätte, kann sich dafür entscheiden, ab einem beliebigen Zeitpunkt nach dem Datum seines Ausscheidens aus dem Amt ein Ruhegehalt zu beziehen.