Falsche Straßennamen löschen wir nach 7 Jahren genauso, also das ist keine Frage der Zeit, sondern der Erkenntnis. Sicher, jeder Name wurde irgendwann mal von irgendwem erfunden, aber gerade bei Bergnamen macht es einen großen Unterschied, ob sie unter Einheimischen gebräuchlich sind (oder wenigstens waren) oder - so wie hier - nur in einer Datenbank falsch drinstehen.
Joe62 hat mir seit 1 Woche nicht geantwortet. Normal würde ich ihm für eine Antwort länger Zeit geben, aber nachdem er schon woanders die Antwort schuldig geblieben ist und jetzt während Corona und Lockdown unwahrscheinlich ist, dass er gerade auf Weltreise ist, erlaube ich mir, den Bergnamen zu löschen.