Hier wurde durch einen ortsfremden Mapper folgendes gemappt: 

https://www.openstreetmap.org/node/9694868858.

Da der Mapper leider sehr schlecht gemappt hat und ich einiges fixen musste, bitte einmal nachgucken, was das ist und ob es dauerhaft vorhanden und sinnvoll zu mappen ist. Danke!