Gr. Sen.

Das Registerzeichen Gr. Sen. wird beim Bundesverwaltungsgericht für Verfahren vor dem Großen Senat des Bundesverwaltungsgerichts verwendet.