Translations

With choosing another language in "Translate to" in the menu on the left, this website is translated to the corresponding language. This translation is done automatically with Google Translate and we are very grateful to Google for providing this service. Note that the original English version is the official version, which should be used for formal purposes.

This "Translate to" function does not translate the underlying documents. When you do need such a translation, first download the document to your own computer and then upload it to Google Translate to translate it to your language.