This website is equipped with Google Translate. This service automatically translates the contents into your selected language.
Language selection is done on the left-top of each page.
The service can be switched off in the top-right of each page.
Translations are sometimes far from perfect, but in general they are good enough to understand the contents.
I hope it helps.
Update of the original html code because Google Translate didn’t seem to work anymore.