Input (grade 10): The Dutch East Indies, or Netherlands East Indies, (;) was the Dutch colony that became modern Indonesia following World War II.
Output (grade 8): The Dutch East Indies, or Netherlands East Indies, was the Dutch colony that is now modern Indonesia.