arsenaal

magazijn voor oorlogsbehoeften, veelal met bijbehorende werkplaats; ook wel armamentarium, bushuis, tuighuis of (‘s) lands huis