Kann man im Grünen See schwimmen?