This Web site uses cookies – small text files that are placed on your machine to provide a better user experience. Google Analytics uses these cookies to track the popularity of specific pages. IP anonymization techniques and a cookie notification plugin make sure that personal data is never used without consent. As of April 2018, we have also accepted Google’s GDPR Data Processing Amendment. If you would nevertheless like to disable cookies on this site and on others, you can change your browser settings accordingly or use a plugin to specifically deactivate Google Analytics functions.