Max Planck Institute for the History of Science