in German) Bundesstadt, or "federal city"