Hallo,
mein Fehler.
Ich hatte versucht, ein Fehlverhalten der Suche zu reproduzieren und es ist mir offenbar gelungen.
Ich werde gleich Maßnahmen ergreifen, um die Suche wiederherzustellen.
Update: Die Suche geht jetzt natürlich wieder gewohnt.
Grüße,
Daniel
Daniel R. Wolf
mit Grüßen aus Hamburg