Updates

The latest changes:

1. November 2026: Goodbye MediaWiki – die Seite ist nun eine reine HTML-Seite und weitaus weniger aufwändig auf dem laufenden zu halten.