Fr, 4.9.: mögliche Ausfallzeiten bei disco

Da die gestrigen Wartungsarbeiten heute fortgesetzt werden müssen, kann es zu weiteren Ausfällen vom Suchportal disco kommen.