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 .