Dutch-Asiatic shipping in the 17th and 18th centuries (Nijhoff, 1979)