Task: Text Simplification
Input (English): with a population of c . 86,000 , the kolding municipality is the seventh largest in denmark.
Output (English): with 86,000 residents , the city of kolding is the 7th most populous in denmark.