Hugo Grotius and the Archeology of Archives: The Image of a Dutch National Hero since the Seventeenth Century’