original: with a population of c . 86,000 , the kolding municipality is the seventh largest in denmark .
simplifications: the kolding municipality has a population of 86,000 making it the seventh largest municipality in denmark . the kolding municipality is the seventh largest in denmark with a populationof 86,000 . the seventh largest municipality in denmark is kolding . the kolding municipality is the seventh largest in denmark with a population of 86,000 . a population of 86,000 , the kolding municipality is the seventh largest in denmark . with 86,000 residents , the city of kolding is the 7th most populous in denmark . with a population of c.86,000 , the kolding municipality is the seventh largest in denmark . with a population of c . 86,000 , the kolding municipality is the seventh largest in denmark .