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