Krolls teater , medan operan i Wien har ferier.