Documentation on the IJsselmeer polders, general