§ 32

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