Pico del Teide - Provinz Santa Cruz de Tenerife, Spanien