An arsenal is a place where arms and ammunition are made, maintained and repaired, stored, issued to authorized users, or any combination of those. Over the centuries, this has included every variant of such a place, whether privately or publicly…