A la date d’entrée en vigueur du présent Protocole, la durée du mandat des juges accomplissant leur premier mandat est prolongée de plein droit pour atteindre un total de neuf ans. Les autres juges terminent leur mandat, qui est prolongé de plein droit de deux ans.
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.
Ceci n’est pas une publication officielle. Seule la publication opérée par la Chancellerie fédérale fait foi. Ordonnance sur les publications officielles, OPubl.
Dies ist keine amtliche Veröffentlichung. Massgebend ist allein die Veröffentlichung durch die Bundeskanzlei.