what is the height of the mountain that is also known as trinserhorn ?
3028