To make this website work properly, we sometimes need to place small files on your computer, called cookies.

What are cookies?

A cookie is a small text file that a website stores on your computer or mobile device when you visit that site. This is how the website remembers your preferences (such as language) so you don’t have to re-enter them each time you click through to another page.

What cookies are used on this website?

All cookies on this website are completely anonymous, i.e. no personal data is kept or transmitted to third parties.

1. Functional cookies

__popup_block_*: keeps track of whether you have already seen our information popup so that it only appears once.

__language: keeps track of your language.

2. Analysis cookies

These cookies record which pages are visited and what is clicked or not. This allows us to improve the website.

_ga, _gat and _gid: for Google Analytics, which allows us to track visitor data.

How can you delete cookies?

You can delete all cookies on your computer and you can set your browser to block cookies. Check your browser settings to do so.

However, this does mean that you will have to reset your preferences each time you visit and that some parts of the website will not work (properly).