, Huygens Institute for the History of the Netherlands