:-( Habe versehentlich den Punkt verschoben, https://www.openstreetmap.org/node/12945152716/history#map=19/48.339360/15.250136&layers=N, weiß aber nicht, wie ich den wieder auf die alte Position zurücksetzen kann. Sorry.