Grüner See, un parc qui se transforme en lac en été