en kasern , der kommandot för milisen och gendarmeriet hade sina lokaler.