Spain Tenerife, high Tour, Pico del Teide, summit 3718 m, June 2015