text: Die Bergspitze ist abgetragen und das Oberbecken ist heute der höchste Punkt. Diskutieren könnte man ob die ehemalige Höhe von 848 angepasst werden sollte, das Oberbecken ist etwa 800 m üNN. In den allermeisten Karten ist der Berg aber noch mit 848 eingetragen.