text: Nein, hier ist kein Kriegsgebiet. Als begeisterter Berggeher und geborener Demmel, dessen Großvater in Gaißach auf dem heute noch so benannten Demmel-Hof geboren wurde und der vor rund  50 Jahren in den damaligen Wanderkarten das Demmeljoch entdeckte, aus dem dann plötzlich das Demeljoch wurde, wollte ich lediglich auf diese, aus meiner Sicht falschen Schreibweise hinweisen. Es gibt übrigens ganz in der Nähe (47°40,143N 11°32,674E) einen zweiten Fall, bei dem gerade aus der Demmelspitze eine Demelspitze wird. Jeder kann sich selbst davon überzeugen, dass fast überall (Wikipedia, Alpenverein etc.)  dieser Gipfel als Demmelspitze bezeichnet wird. Hier in dieser Karte jedoch als Demelspitze (https://www.openstreetmap.org/note/620176#map=19/47.66899/11.54450).
  Ganz offensichtlich entstehen solche Namensänderungen aus einmaligen Schreibfehlern, die sich dann in einem Kartenwerk wie diesem manifestieren.
  Deshalb geht die Welt nicht unter, aber ich frage mich, ob man ohne Grund, einfach so, Bezeichnungen für Berge ändern sollte.