Die Vorschriften dieses Gesetzes über die Amtsbezeichnungen gelten nicht für die Richter des Bundesverfassungsgerichts.