'De gedeeltelijke vervanging van de rechters die om de drie jaar plaatsvindt, betreft bij een even aantal rechters beurtelings één helft van de rechters, en bij een oneven aantal rechters beurtelings een even aantal en een oneven aantal, te weten het eerstvolgende kleinere getal'.
Die teilweise Neubesetzung der Richterstellen, die alle drei Jahre stattfindet, betrifft bei einer geraden Anzahl von Richtern abwechselnd jeweils die Hälfte der Richter und bei einer ungeraden Anzahl von Richtern abwechselnd eine gerade Zahl von Richtern und eine um eins niedrigere ungerade Zahl von Richtern.“