Parque National de Teide - Boca Tauce# Parque National de Teide - Boca Tauce, March 2016, © Ewald Judt, under CC BY 4.0