original: With a population of c. 86,000, the Kolding municipality is the seventh largest in Denmark.
simplifications: The Kolding municipality is the seventh largest in Denmark with 86,000 people. Kolding is the seventh larges municipality in Denmark with 86,000 people. With a population of 86,000, the Kolding town is the seventh largest in Denmark. At 86,000, the city of Kolding is the seventh largest in Denmark. The Kolding municipality is the seventh largest in Denmark. Its population is roughly 86,000. The Kolding municipality is the seventh largest in Denmark. It has a population of around 86,000. With 86,000 people, the Kolding municipality is the seventh largest in Denmark. The Kolding municipality is the seventh largest in Denmark. It has around 86,000 residents. Kolding is the 7th largest city in Denmark with a population of 86,000. Kolding is the seventh largest municipality in Denmark. Its population is c. 86,000.