operahuset anordna ytterligare en foyer , utom den , som sedan några år existerar , invid entréen från Arsenalsgatan.