A bibliographical catalogue of seventeenth-century German books published in Holland