Translation of legal texts