John Heilbron established the history of science as a professional discipline