Roots of growth and productivity change in Dutch shipping industry, 1500–1800 · Study