Amsterdam. Nederlandsch Historisch Scheepvaart Museum. Bibliotheek.