Part of Deutsche Oper Berlin. Längsschnitt; Zuschauerraum. Querschnitt; Schnitt durch Restaurations- und Küchengebäude