This is an old revision of the document!


Cookies

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

A cookie is a small text file that a website saves on your computer or mobile device when you visit the site. It enables the website to remember your actions and preferences (such as login, language, font size and other display preferences) over a period of time, so you don’t have to keep re-entering them whenever you come back to the site or browse from one page to another.

Cookies on this site are used for the following purposes:

  • To store a unique session identifier for the duration of your current visit to the site. Once your browser is closed this cookie is automatically deleted. It is used to remember your preferences and create the breadcrumb trail of pages you have visited in the navigation bar. It is not shared with any other websites.
  • To remember that you have dismissed the cookie usage banner, which appears at the bottom of the page when you first visit. This cookie is kept for one year before being removed by your browser. It is not shared with any other websites.
  • If you choose to log in to the site, a unique identifier is used to confirm your credentials. This avoids being re-prompted to log in each time you navigate to a new page on the site. If you choose to remember your username then this cookie is retained for a year, otherwise it is deleted as soon as your browser is closed. In neither case is the cookie shared with any other websites.

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 placed. 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.