All’entrata in vigore del presente Protocollo, la durata del mandato dei giudici che assolvono il loro primo mandato è portata di pieno diritto a nove anni complessivi. Gli altri giudici concludono il loro mandato, che è prolungato di pieno diritto di due anni.
Mit Inkrafttreten dieses Protokolls verlängert sich die Amtszeit der Richter, deren erste Amtszeit zu jenem Zeitpunkt noch nicht abgelaufen ist, ohne weiteres auf insgesamt neun Jahre. Die übrigen Richter bleiben für ihre restliche Amtszeit, die sich ohne weiteres um zwei Jahre verlängert, im Amt.
Il presente documento non è una pubblicazione ufficiale. Fa unicamente fede la pubblicazione della Cancelleria federale. Ordinanza sulle pubblicazioni ufficiali, OPubl.
Dies ist keine amtliche Veröffentlichung. Massgebend ist allein die Veröffentlichung durch die Bundeskanzlei.