Die Betriebsformen der Eisenproduktion in Westdeutschland in vorindustrieller Zeit, S.5. Bergbau und Wissenschaft - ihre wechselseitige Beeinflussung zwischen dem 16. und 19. Jahrhundert, S.19