text: Erledigt. Gemeinsam mit dem Tippfehler, denn bis jetzt war's der PinSgauer Hof (mit 's'). Solche Änderungen können übrigens auch ganz leicht selbst über das Webinterface und den id Editor erledigt werden: (bspw.) https://wiki.openstreetmap.org/wiki/ID