Added translation.tex as minimal tex document.