In mehreren Quellen (u.a. Wiki zum Karlstein) wird Hauenstein
als der Name des Berges angegeben.
Karlstein wird als Name des Felsen angegeben,
ist aber nicht in OSM als Fels(natural=rock) eingetragen.