Input (grade 7): With a population of c. 86,000, the Kolding municipality is the seventh largest in Denmark.
Output (grade 10): With a population of 86,000 inhabitants, Kolding is the seventh largest in Denmark.