§ 9

Die Erteilung eines Urlaubes an den Präsidenten oder Vizepräsidenten ist dem Bundespräsidenten vorbehalten. Den Mitgliedern und Ersatzmitgliedern des Verfassungsgerichtshofes wird der Urlaub vom Präsidenten des Gerichtshofes erteilt.