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