This is where people swim in lake Greifensee (when the water is warmer than in May)