Unser RZ Anbieter konnte den Fehler beheben. Es war eine defekte wildgewordene Netzwerkkomponente. Alle unsere Server sind wieder im Cluster, so das nun wieder ausreichend Ressourcen fuer alle Services zur Verfuegung stehen. Wir bitten nochmals um Entschuldigung.