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