Hab auch noch ein bisschen gegooglt, der große hat wohl 2 Namen: Roddersee und Dinnendahlsee.

Die beiden kleinen Seen südöstlich davon sind in OSM aber wohl falsch benamst.

Chris