Antagligen kommer Stora teatern att äteröppnas