van den Heuvel, Charles, Huygens Institute for the History of the Netherlands, Royal Netherlands Academy of Arts and Sciences