med en folkmängd af omkring 20 , 000.