Add new eval 10k de_en in newer TeX format.