stora teatern i Stockholm,