Operahuset , mellersta porten vid Arsenalsgetan,