resident of Banjoewangi — senior civil servant in the Dutch East Indies