Gravar-mail: Plague and print in the Netherlands: a short-title catalogue of publications in the University Library of Amsterdam