Absatz einsDie Richter werden, sofern nicht in diesem Gesetz anderes bestimmt ist, gemäß dem Antrag der Bundesregierung vom Bundespräsidenten oder auf Grund seiner Ermächtigung vom zuständigen Bundesminister ernannt; die Bundesregierung oder der Bundesminister hat Besetzungsvorschläge der durch die Gerichtsverfassung hiezu berufenen Senate einzuholen.