El TEIDE mide más

9 de la mañana. Hemos hecho cumbre, apesta a azufre y es complicado respirar. Descubro por el gps que el TEIDE mide más de 3718 metros, tal y como marcan los libros de texto. Conste que estoy subido a la roca más alta.