Hallo,

gut, dann bleibt es bei Bomberg mit nur einem "m".

Die aktuelle amtliche Bezeichnung der Mühle ist allerdings "Gebertsmühle". Für "Gebhards-Mühle" gibt es auch im Landesgeschichtlichen Informationssystem von Hessen keinen Hinweis:

http://www.lagis-hessen.de/de/subjects/idrec/sn/ol?id=63100206002

Wie man sieht wird der Ort auch in alten Karten als Geberts-Mühle -wenn auch noch getrennt geschrieben- bezeichnet.
Evtl. ist der Name "Gebhards-Mühle" eine lokale Bezeichnung für diesen Ort. Dann nehme ich diesen zusätzlich mit dem "loc_name"-Tag in die OSM-Datenbank auf. Angezeigt wird er -zumindest auf der Standard-Karte- dann aber nicht.

Grüße
DerUnsichtbare
