stora teatern i Stockholm.