att stadens garnison uppgick till 12 a 13,000 man.