translating. And correcting a few little errors in the original.