Agreement between the Netterden'scher Canal Water Board (Germany) and the Oude Rijn Polder Authority (Netherlands) concerning the Kandia Pumping Station