Wenn du es mit den üblichen Geräten ala Garmin und co vergleichen willst, dann geh von 3800 aus. Also wenn man es mit seinen sonstigen Touren oder Elba vergleicht auch nicht sooo schlimm
Wenn du es ganz genau wissen willst, dann sind es wohl 5000. Das haben sie mal mit irgendeinem ultragenauen Polargerät gemessen, welches eine wesentlich höhere Abtastrate hatte.