brandmur hindrade eldens spridande till den s. k. kronvinden och sjelfva operahuset.