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.

11-12-2022

Update of the original html code because Google Translate didn’t seem to work anymore.

Google Translate