nederlandsche historische bibliotheek Geschiedenis van Nederlandsch-Indië / door F.W. Stapel bouwers van indië Frans Junghuhn / door C. W. Wormser
