Original: With a population of c. 86,000 , the Kolding municipality is the seventh largest in Denmark .
Simplified: With a population of 86,000 inhabitants , Kolding is the seventh largest in Denmark .