Der Pico del Teide
... vom Pico Viejo
