Cookies are small files that remember your preferences during surfing and save them on your computer. Like many other organisations we use cookies on its website.

This document summarises the cookies that we use:

Cookies for Google Analytics

We use Google Analytics. This Google service uses cookies. Google Analytics enables us to keep track of such information as how many people visit our website and which pages they view. We use this information to monitor and to improve the accessibility and user-friendliness of our website. You can decline these cookies here.

Cookies for the system behind our website

Drupal is the system we used to build our website and that allows us to create and modify pages.

  • Drupal installs a cookie to ensure that your browser can use JavaScript properly. The name of the JavaScript cookies is: has_js.
  • Drupal further installs a cookie to make sure that our website works satisfactorily on your computer. Among other things this allows you to navigate our website efficiently. The name of this cookie starts with SESS.
  • Finally, Drupal will also install a cookie whenever you increase or decrease the size of text. The name of this cookie is: textsize. 

What happens if you disable cookies?

If you switch off the cookies that remember your preferences, you will need to re-enter your password, login name and other settings every time you visit our website.

Deleting cookies

You can delete the cookies installed in your browser any time you want:

Disabling cookies

If you wish you can completely disable cookies. You must do this in the privacy settings of your browser. However, this may cause some websites to stop working properly in your browser: