Operahuset , ingång från Arsenalsgatan.