Aktualisierung DokuWiki

Alles neu macht der Mai März! Das Wiki wurde in den letzten Tagen auf das modernere DokuWiki-Design umgestellt.

Inzwischen wurde auch die Sidebar wieder hinzugefügt, sodass der Umstieg nun ohne Einschränkungen abgeschlossen ist. Im Zuge der Aktualisierung ist nun auch der PDF-Export wieder möglich. Sollte irgendetwas noch nicht klappen, wendet euch einfach an den Referenten Technik.