The history of science and the history of bureaucratic knowledge: Saxon mining, circa 1770 Academic Article