Mo, 7.5.: Suchservice disco steht zeitweise nicht zur Verfügung

Der Suchservice disco steht heute zeitweise nicht zur Verfügung. Wir versuchen, die Serverprobleme so schnell wie möglich zu beheben.