The library at the Maritime Museum. Rotterdam, Netherlands.