Legend and Tips

Icons

the image used to describe a link that opens in a new window Links marked with this icon open in a new browser window if you click on them. The first window remains as it was.

Style

You can change the way the website looks via the 'style' section in the helper menu at the bottom of this page. For this feature, you have to enable cookies in your browser.

Print

You can print text on the pages more easily by clicking on 'print' in the helper menu.

Character encoding

Please make sure you use proper character encoding, otherwise, special characters (for example ü or è) might not be displayed correctly. The preferred character encoding is UTF-8 (see specification). To change your encoding; open your browser's menu and go to 'view', 'encoding' and choose 'Unicode (UTF-8)'.