Die Herrenmühle ist weg. Und was ist mit der Bushaltestelle, die bisher „Herrenmühle“ hieß? Die hat jetzt einen neuen Namen: „Ärztehaus“. Auf dem Plan darunter steht noch „Herrenmühle“ …