Funny finding: Using "LANG=en_EN.UTF-8 xdvi" instead of default locale "de_DE.UTF-8" works! Before that I tried LANG=C and LANG=de_DE.ISO8859-1, both without success. I seems that something with the German locale data is broken, or the processing of German locale.