Deutsche Staatsoper Berlin hrsg. von der Intendanz zum 25. Jahrestag der Wiedereröffnung des Hauses Unter den Linden im September 1955 (1980)