Stora teatern i Stockholm,