Operahuset , mellersta ingången » vid Arsenalsgatan,