Deutsche Oper Berlin : Spielzeit 1993/94 (Beiträge zum Musiktheater, 1994)