Wichtig: heute, am 22.11., wurde ein größeres Board-Update aufgespielt. Derzeit kann es noch zu kleineren Störungen im Board-Betrieb kommen - wir bitten, dies zu entschuldigen.
Update 22:07: Die größten Probleme sollten jetzt behoben sein. Wer über Ungereimtheiten stolpern sollte, kann diese gerne hier posten. Danke!