Absatz eins,Der Richter ist auf seinen Antrag in den dauernden Ruhestand zu versetzen, wenn er sein 62. Lebensjahr vollendet hat und er zum Zeitpunkt der Wirksamkeit der Versetzung in den Ruhestand eine ruhegenussfähige Gesamtdienstzeit von 480 Monaten aufweist.