— Kongl- stora teatern.