Deutsche Oper Berlin : Entstehung und Gestaltung, Maschinerie und Technik (1961)