Hallo Markus,
so, die fehlenden Karten sind wieder da.
Ich weiß jetzt auch, wie das passiert ist: Zum Upload eurer Karten hatte ich bereits mein USA-Notebook benutzt (Upload kurz vor dem Abflug) und hatte die geänderte Version leider nach meiner Rückkehr nicht auf mein anderes Notebook überspielt, das ich sonst immer nutze.
Daher kam mit dem letzten Upload eine ältere Version auf den Server, bei der eben diese 3 Karten fehlten.