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