Spanien (Teneriffa): Pico del Teide, 3715m