Mit dem Inkrafttreten dieses Gesetzes sind aufgehoben:

a.

Artikel 23bis des Bundesgesetzes vom 26. März 1914138 über die Organisation der Bundesverwaltung;

b.

die Artikel 124–134, 158 und 164 des Bundesrechtspflegegesetzes vom 16. Dezember 1943139;

c.

widersprechende Bestimmungen des Bundesrechts; vorbehalten bleiben ergänzende Bestimmungen im Sinne von Artikel 4.