Toedi (3606 m), the highest peak in our area