You probably guessed right: the first translation was done by Google; the second, by a professionally trained bilingual translator. As you can see, the machine translation is comprehensible, but inelegant and sometimes confusing. On the other hand, the human translation flows smoothly, is ...