Klippgruppen Roques de García framför El Teide.