The role of statutory and local rules in allocating water between large- and small-scale irrigators in an African river catchment †