Teide, Boca Tauce, Tenerife, Spain