text: Ja, das mag richtig sein, ändert aber an der Tatsache nichts, dass die richtige Bezeichnung "Demmeljoch" lautet. Eine falsche Bezeichnung bei anderen Quellen richtig zu stellen, ist allerdings nicht Aufgabe von OpenStreetMap.
  
  Ich habe auch eine Reihe von Links, bei denen vom "Demmeljoch" die Rede ist, zum Beispiel:
  
  https://www.runtastic.com/de/routen/rund-um-das-demmeljoch-1
  
  http://grasleitn.de/touren/Demmeljoch.htm
  
  http://www.gps-tour.info/de/touren/detail.123852.html
  
  http://bergtouren.hohmann-edv.de/bergwanderungen/b.php/0/95/Bayerische_Voralpen/Vorkarwendel/Demmeljoch.html
  
  Interessant ist auch eine Suche nach "Demmeljoch" und dabei auf gleich benannte Ferienwohnungen, Häuser und ähnliche Angebote zu achten. Diese Angebote kommen von Leuten aus der Region und diese wissen ganz genau, wie die Bezeichnung richtig ist. Die Demmel kommen aus dieser Region und man muss nur auf einen Friedhof in Gaisach oder Lengries zu gehen, um zu sehen, wie viele "Demmel" hier begraben sind. Einen "Demel" wird man dagegen nicht einen finden.