Cookies

To make this site work properly, we sometimes place small data files called cookies on your device. Most big websites do this too.

What are cookies?

A cookie is a small piece of data that a website asks your browser to store on your computer or mobile device. The cookie allows the website to "remember" your actions or preferences over time, (such as login details, and language, font size and other display preferences). That way, you don’t have to keep re-entering such information or preferences whenever you come back to the site or after browsing from one page to another. Most browsers support cookies, but users can set their browsers to decline them and can delete them whenever they like.

How we use cookies?

Strictly Necessary cookies

We use DiscoJuice and Shibboleth cookies for remembering the user Identity Provider choice and login session id.

Google Analytics

Through this website, sometimes a cookie is sent to the American company Google, as part of the “Analytics” service. We use this service to track how visitors use our website. Google can provide this information to third parties in case Google is legally obligated to do so, or if third parties process the information on behalf of Google. We can in no way influence these actions. We have not allowed Google to use the obtained Analytics information for other Google services.

The information Google collects remains anonymous wherever possible. Your IP address is not explicitly given. The information is stored by Google on servers in the US. Google adheres to the Safe Harbor principles, and is affiliated with the Safe Harbor programme of the US Department of Commerce. This means there is an adequate level of protection for the processing of any personal data.

Piwik

This website uses Piwik, an open analytics platform to collect web statistics. Piwik will store cookies on your computer, but no personal data will be collected. An anonymous ID will enable piwik to identify your session, but this ID is meaningless to anybody else, and it cannot be used to identify an individual user.

How to control cookies

You can control and/or delete cookies as you wish – for details, see aboutcookies.org. You can delete all cookies that are already on your computer and you can set most browsers to prevent them from being replaced. If you do this, however, you may have to manually adjust some preferences every time you visit a site and some services and functionalities may not work at all.