text: "ehem. Obere Aueralm" Was ist das jetzt, wenn es früher eine Alm war? oder hat sich nur der Name geändert? Gleiches weiter östlich "ehem. Niederhoferalm" und im Süden "ehem. Untere Aueralm". Wenn die Namen alt sind, wäre "old_name" der passende Tag. Wenn die Namen noch im Gebrauch sind, aber die Almen nicht mehr existieren, vielleicht "place=locality"?