Environmental degradation and institutional change in Holland in the sixteenth century