Ein Techniker war da, hat die Leitungen gemessen und eine Dose ausgetauscht. Allerdings war das nicht die Ursache.
Nach längerem Herumprobieren, also Abhängen von internen Netzwerkkomponenten, haben wir den starken Verdacht, daß es an einem Port der Netzwerkkarte eines Servers liegen könnte. Was der Port genau anstellt und ob es wirklich daran lag, ist nicht zu 100% gesichert. Immerhin läuft es bisher ohne Neustarts, seit wir auf einen anderen Port ausgewichen sind. Allerdings hatten wir zwischendurch auch über 3 Wochen Ruhe, bis es wieder los ging, also abwarten.