royal netherlands east indies army - German English Dictionary