— Jordens högsta bergspets är numera ej Davalagiri.