Title: Mining in the Netherlands East Indies, (Bulletin 4 of the Netherlands and Netherlands Indies council of the Institute of Pacific relations)