stadens folkmängd lärer uppgä till omkring 12,000 personer.