Die wirkliche Höhe des Teide auf Teneriffa 3.715 Meter