Bódeni - tó, Walensee