El Teide is 3718 meter hoog en vanaf de zeebodem gerekend zelfs 7000 meter.