Cookie notice

Cookies are small text files that are stored on your device (computer, tablet, or mobile phone) when you visit websites. They are widely used to make websites work or operate more efficiently, as well as to provide information to the owners of the site. In this notice, the term cookies also covers similar technologies that store data in your browser, such as local storage.

Some of these cookies are strictly necessary for the website to work, others are set only in response to a choice you make. We do not use advertising or tracking cookies.

Essential cookies are strictly necessary to run the website. They keep you signed in and protect the security of your session; the session cookie expires no later than 30 days after your last visit. Because the site cannot work without them, they are always active and, under applicable law (Section 25 (2) TDDDG), do not require your consent.

Preference cookies save a choice you have made, such as your language or the light or dark theme, in a cookie or in your browser's local storage so we can apply it on your next visit. They are set only when you actively make that choice. Separately, the site keeps a copy of the data you are already looking at in your browser's storage, so a page you return to draws immediately instead of fetching again. It holds nothing you have not already been shown, it is cleared whenever a new version of the site is released and after a day at the latest, and it is never sent anywhere.

Optional cookies, such as analytics or marketing, are only ever set after you accept them. We do not currently use any. Should we add them in future, they will load only with your consent, and declining keeps them switched off.

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 aboutcookies.org.

You can change your cookie preferences for this website at any time by opening the cookie settings.