Catalogue of books, periodical sets and pamflets on general and local History of the Netherlands