Original: With a population of 89,071 (1 January 2010), the Kolding municipality is the seventh largest in Denmark.
Simplified: With a population of 86,000 inhabitants, Kolding is the seventh largest in Denmark.