text: Dann müssten aber einige Quellen umgeschrieben werden, siehe z.B. https://de.m.wikipedia.org/wiki/Demeljoch oder http://www.tourentipp.de/de/touren/Demeljoch-Bergtour_625.html und 7400 vs. 760 Ergebnisse bei Google...