Doorman, G., Patents Inventions in the Netherlands during the 16th, 17th and 18th Centuries, 's-Gravenhage 1942