Skip to content

What are they?

Cookies are small text files that are placed on your computer by websites that you visit. They are widely used in order to make websites work more efficiently, as well as to provide information to the owners of the site.

We use cookies on our site to:

  • Store information needed to make the site work properly​
  • Find out how people are using the site
  • Our cookies aren’t used to identify you personally.

Unless the law allows us to, we do not:

  • Share any of the data we collect about you with others, or
  • Use this data to identify individuals

Controlling and deleting cookies

Most web browsers allow some control of most cookies through the browser settings. To find out more about cookies, including how to see what cookies have been set and how to manage and delete them, visit about cookies to see how to delete and control the cookies that are stored on your computer.

Find out how to manage cookies on popular browsers:

Other websites to which this site links to may also use cookies. Please check those sites for their own cookie policy.


Cookies help make a website usable by enabling basic functions like page navigation and access to secure areas of the website. The website cannot function properly without these cookies.

Cookies used

AWSELB - Used to distribute traffic to the website on several servers to optimise response times

Duration: 1 Day

AWSELBCORS - Registers which server cluster is serving the visitor. This is used in context with load balancing in order to optimise user experience

Duration: 1 Day

CookieControl - Determines whether the visitor has accepted the cookie consent box. This ensures that the cookie consent box will not be presented again upon re-entry.

Duration: 2 months


We use Google Analytics to collect information about how visitors use our website. The cookies collect information in an anonymous form, including the number of visitors to the site, where visitors have come from and the pages they visited.

Cookies used

_ga: Registers a unique ID that is used to generate statistical data on how the visitor uses the website.

Duration: 2 years

_gat: Used by Google Analytics to throttle title request rate

Duration: 1 day

_gid: registers a unique ID that is used to general statistical data on how the visitor uses the website.

Duration: 1 day