Wilhelmshöhe is a former mountain inn.