Towards the end of my short trip to Austria in September, I went to the Arthurhaus, a mountain hotel at the foot of the Hochkönig in the Berchtesgaden …