A public establishment for the storage, or for the manufacture and storage, of arms and all military equipments, whether for land or naval service.