Tian Dawei — Chinese translator (1931-2013)