Restaurant Höhlensteinhaus, a perfect stop after a hike.