Hallo,

Das Kopieren der Such-Indexe schlug fehl, nachdem die Suche den Server gewechselt hatte. Ist jetzt repariert.

Super! Merci!
Siri