David van Royen - Dutch librarian (1699-1764)