Kolding , en stad med , skulle vi tro , ej 10,000 invånare.