Stadens folkmängd var då omkring 8 , 000,