Hochtausing (1823m).