User and cookie operation
Cookies are small text files that a website stores on your computer or mobile device when you visit the website. On each subsequent visit, cookies are sent back to the originating site or to a third-party site that recognizes the cookie in question.
Among other things, cookies allow the site to remember the settings chosen by the user on subsequent visits, so that they do not have to be specified again each time. Cookies are not used to identify you personally.
Cookie name Purpose of use
SESSION Used to store user session information
showFullText Used to remember the way the official announcement lists are displayed
ieNotification Used to not reopen a notification about an outdated browser
order Used to make the search function work by using a sort criterion for the user
count Used to enable the search engine to display search results
_ga Used to identify unique users of the website by assigning each a randomly generated identifier (“Google Universal Analytics” cookie)
_gat Used to limit the intensity of requests (“Google Universal Analytics” cookie)
Controlling and deleting cookies
If you wish, you can control or delete cookies. Most web browsers can be set to block the storage of cookies on your device. Please note that you will then need to adjust certain settings each time you visit the website, and some services and features on the website may not work. Read more here: https://www.aboutcookies.org/.