Die Richter werden für eine Amtszeit von sechs Jahren ernannt, die mit dem in der Ernennungsurkunde bestimmten Tag beginnt. Wiederernennung ist zulässig.

In Ermangelung einer Bestimmung über den Tag der Arbeitsaufnahme beginnt die Amtszeit mit dem Ausstellungstag der Ernennungsurkunde.