ChrissW-R1
Wenn ich das richtig sehe, sind die umgezogen und haben sich umbenannt. Die neue Lokalität ist aber auch bereits eingetragen:
https://www.openstreetmap.org/node/4096823614

https://www.openstreetmap.org/changeset/47376119