Hallo,

wir haben einen neuen Downloadserver, die IP ist 93.115.84.162.

Über´s Wochenende hat der Server noch einige Probleme gemacht, wir hoffen, das jetzt so langsam in den Griff zu kriegen.

Für die Distros: Eure Zugangsdaten sollten da unverändert funktionieren.