My bad, I was indeed looking at outdated data here and the respective ways have already been removed ( https://www.openstreetmap.org/way/466199932 https://www.openstreetmap.org/way/466199933 )

Sorry, I'll close the note :)