Operahuset , Ingång från Arsenalsgatan.