←↑→
(1)1 Die Berufsrichter werden von der nach Landesrecht zuständigen Stelle auf Lebenszeit ernannt.
(2)1 (weggefallen)