Utom arsenaler , kaserner för12,000