> Müsste es nicht Gerichtshofpräsident lauten?
Diese Variante ist häufiger, aber falsch kann die andere auch nicht sein.
Gruß von Kai