@MarcFramboisier @openstreetmap This is intriguing. It also appears in CyclOSM and OpenTopoMap so it must be from the DEM data(captured in year 2000: https://www.earthdata.nasa.gov/sensors/srtm). Either the data is erroneous, or the mountain disappeared in the past 20 years!