@jwz@mastodon.social I found the OSM entry: https://www.openstreetmap.org/way/132605490 https://www.wikidata.org/wiki/Q5205728 ok, not very helpful.