einwohnerreiche städte thüringen