der Bezeichnung „Bundesrepublik Deutschland“