hus till magasin åt Dramatiska teatern skall uppföras på Arsenalsgården midtemot