(1)
Die Richter auf Lebenszeit treten nach Erreichen der Altersgrenze in den Ruhestand (Regelaltersgrenze).
(2)
Durch Gesetz können besondere Altersgrenzen bestimmt werden, bei deren Erreichen der Richter auf seinen Antrag in den Ruhestand zu versetzen ist.