Die Berufsrichter werden von der nach Landesrecht zuständigen Stelle auf Lebenszeit ernannt.
(weggefallen)
