text: Ehm, nein, sorry, viel besser: auch der hiesige Hohle Stein ist bereits gemappt, nämlich mit diesem Knoten:
  
  https://www.openstreetmap.org/node/5055931914
  
  Kannst Du beurteilen, ob das Tagging so OK ist oder ob man es verbessern kann? Kommt mir etwas vage vor …