Částečná obměna, k níž dochází každé tři roky, se střídavě týká třinácti a dvanácti soudců.  
Die teilweise Neubesetzung der Richterstellen, die alle drei Jahre stattfindet, betrifft abwechselnd dreizehn und zwölf Richter.  