Pico del Teide - Espanjan korkein vuori. Tuolla käytiin.