teatern skall uppforas på Arsenalsgården midt emot Lantingshausens hus.