Hola, gracias por editar, una duda con este elemento:
https://www.openstreetmap.org/node/11595503029/history
quizás se ha movido accidentalmente? la elevación no coincide con la nueva ubicación según el ráster IGN
Saludos