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.