Michael Kraus als „Leitung“ in „Happy Hour“ | Spielplanarchiv der Wiener Staatsoper