Teide  (3718 m)  von El Portillo