folkmängd omkring 10,300 personer.