Am 22.5. gabs doch einen Serverabsturz, möglich also, dass der Suchindex noch nicht wieder vollständig ist.