introduction.tex: more translations...