Serverumzug Aug-2020

Der Rootserver wurde im August 2020 gewechselt. Es steht nun leistungsfähige Hardware mit AMD Eypc Prozessor zur Verfügung. Alle Dienste wurden umgezogen und auf das neue Betriebssystem Debian 10, „Buster“, angepasst.