Vor Ort heißt es auf dem Schild: Leonie Brunnen mit der Jahreszahl 1906. Woher stammt der Name Lindenquelle? Sollte man Quellenname und Brunnenname in zwei Nodes verteilen?

Ist das hier nicht einfach nur ein Pfad (als Wegekategorie) oder trägt er wirklich diesen Namen?

Hat sich hier die Postleitzahl geändert?
Den neuen Betreiber des Gasthofes habe ich erfasst. Bisher stand dort die PLZ 65193, der neue Betreiber gibt als Adresse "Platte 1 - an der B 417 • 65195 Wiesbaden" an. Dass die Straße diesen Namen hat ist mir jedenfalls neu, wie ist es mit der Postleitzahl?
Habe die alte PLZ bisher noch stehen lassen.