Van Gorcum's historische bibliotheek.