Translation of "East indies" in German