Soweit in anderen Gesetzen und in Verordnungen die Bezeichnung "oberes Bundesgericht" verwendet wird, tritt an ihre Stelle die Bezeichnung "oberster Gerichtshof des Bundes".