Der Edersee in Nordhessen (April 2023) / The Eder lake in northern Hesse, Germany