Könnte bitte jemand, der/die noch den Überblick über die Infrastruktur hat, den Abschnitt auf den aktuellen Stand bringen? Da wird noch der Toolserver im Präsens erwähnt, und vor ein paar Wochen gabs ein neues Rechenzentrum. Aber ich blicke da auch nicht mehr durch. – Danke!-- Aschmidt 22:55, 1. Mai 2018 (CEST)