The history of Dutch sea fisheries: their progress, decline and revival, especially in connection with the legislation on fisheries in earlier and later times