kallade gamla Arsenalbyggnaden vid Carl XIII.s torg , ineddertill