Elfriede Jungk, Der Vierwaldstädter See