All mountain heights and prominences on the list are from the largest-scale maps available [REF].
Finally, many height indications on these maps are from quite old measurements, while glacier and firn melt has decreased the height of both peaks and key cols, sometimes quite dramatically.