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