I have just finished this translation! Here is the TeX source, and here is a (live) PDF. Hopefully there shouldn't be too many mistakes :-)
Tim
- 1.1k
- 11
- 26