folkmängd omkring 10,500 personer.