Der Badesee wird durchaus noch unter Besuchern “Edersee” genannt. Nur finden sich leider hierfür keine Quellen online. Kennt jemand den Ursprung dieser Bezeichnung für den Badesee? (nicht signierter Beitrag von 188.23.115.17 (Diskussion) 21:40, 24. Aug. 2019 (CEST))