TXT More on international.tex