Die Richter werden auf Lebenszeit ernannt, soweit nicht in §§ 16 und 17 Abweichendes bestimmt ist. (weggefallen) Die Richter des Bundesverwaltungsgerichts …