Dutch East Indies. Burgerlijk Geneeskundig Dienst.