• 9.416 Einwohner