The Dutch Paper Industry from 1580 to the Present