On the lake of Hallwilersee