Geological results of the exploration for oil in Netherlands New Guinea : Carried out by the Nederlandsche Nieuw Guinee Petroleum Maatschappij, 1935-1960