Rothorn, Hochstollen