Koninklijke Bibliotheek, Hollandi Rahvusraamatukogu