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