Ich finde den Eintrag in keiner aktullen Karte - ausgenommen die basemap.at - welche aber unreflektiert oft solche Begriffe einfach aus uralten KArten kopiert.
Ich finde ihn sonst noch in der FJLA 1:25k mit HJöhenkote in etwa an der Stelle des heuitgen Jochgrabenberg und im Franz.Kataster.

Meiner Meinung nach kann man den Begriff löschen. oder als old_name auf den Jochgrabenberg setzen.
Ok so?

Allea anderen in der Note besprochenen Dinge zur Namensherkunft bitte an geeigneter Stelle wie Heimatforscher, Landesarchiven, Unis naxhfragen, danke.