9.4 Dutch East Indies