Spanien (Teneriffa): Pico Viejo, 3129m