Deutsche Oper Berlin (Westermann, 1981)