Hola, gracias por editar, el nodo
https://www.openstreetmap.org/node/948415503/history
se ha desplazado por error? ahora no coincide el valor de elevación y según el mapa ráster del IGN muestra que en la anterior localización era correcta. Me dices algo por favor.
Saludos y feliz mapeo