einwohner von würzburg