Jüngerer und alter Gipfel des Teide