Okerstausee im Spätsommer 2020