Ja, das sind aber theoretische und teils historische Annahmen. Ich würde ihn wie fkv nicht eintragen. Wenn du aber drauf bestehts, öffne ich dazu einen Thread im Forum, wie die Kollegen das mit historischen Bergbezeichnungen sehen, und wir richten uns dann nach der Mehrheit.