Pico del Teide (3700m) in december, Tenerife