@stefane: Danke, sehr aufmerksam!
Bei den beiden letzteren war es ein Darstellungsproblem im Auswertungstool, im Firefox wird die Gesamtliste unten einfach abgeschnitten, unter Chrome funktioniert die Darstellung besser. Bei der Liste von Stardog lagen die Plätze 16-20 noch im Zwischenspeicher … Ich hätte in die „Status“-Rubrik schauen sollen, nun sind dort alle Listen mit jeweils 20 Platzierungen vermerkt.
An den oberen Rängen der Gesamtwertung wird das nichts ändern, aber jetzt muss ich wohl alle Statistiken nochmal austauschen. Ich warte noch ab, ob es weitere Fehlermeldungen gibt.
--