Dutch East Indies. Koninklijk Nederlandsch-Indisch Leger. Generale Staf.