He could type his text in German into babelfish at http://babelfish.altavista.com/ then translate it from German to English. Then just cut and paste the English translation into his post. This is kinda convoluted but it is free.