Zuiderzee Works Department: allotment of western part of East Flevoland