Im Franziszeischen Kataster heißt der Erzherzogberg "Erzherzog Ferdinand Karl's Berg" - vermutlich ist "Karlberg" der alte Name vom Erzherzogberg.

Der Stollen also schon erfasst. Ich hab das damals wohl vom Schild an der Tür der Hütte abgelesen.

Übernimmst du das: old_name beim Flurnamen und Wikidata beim Stollen eintragen?