Deutsche Oper Berlin : Spielzeit 1993/94 (Deutsche Oper, 1994)