To enhance user experience and make this website work properly, we sometimes place small data files called cookies on your device. Most big websites do this too. These cookies are set when you interact with the website by doing something that goes beyond clicking some simple links. We also use some non-essential cookies to anonymously track visitors or enhance your experience of this website.
What are cookies
A cookie is a small text file that a website saves on your device when you visit the site. It enables the website to remember your actions and preferences (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 website or browse from one page to another.
We may use different types of cookies (e.g. session or permanent, first or third-party) and mainly but not exclusively to remember users’ actions and to identify the user, to enhance the performance of the website.
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 device, 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 website, and some services and functionalities may not work.