några gamla byggnader , från 1707 , hvilka hade tjenat som krigsarsenal , äro bibehållna.