Die Richter werden auf Lebenszeit ernannt, soweit nicht in §§ 16 und 17 Abweichendes bestimmt ist.
(weggefallen)
Die Richter des Bundesverwaltungsgerichts müssen das fünfunddreißigste Lebensjahr vollendet haben.
