Operahuset , andra porten vid Arsenalsgatan,