Original: Gaustadt has a population of 6,500.
Simplified: 6,500 people live there.