§ 4

Die Amtszeit der Richter dauert zwölf Jahre, längstens bis zur Altersgrenze. Eine anschließende oder spätere Wiederwahl der Richter ist ausgeschlossen. …