El Teide visto desde ell Roque de los Muchachos.