H E U R E K A !!!
Jetzt hat es geklappt: es ging zwar wieder das automatische Update-Ding los, aber offenbar hat er nichts gefunden. Die updates-xml zu löschen war offenbar die richtige Idee.
Vielen, vielen Dank für Euren tollen Support! Vor allem von Dir, Frog!
Danke,
Monika
P.S. Wie es weitergeht, ist damit natürlich noch offen. Nie wieder updaten geht wahrscheinlich nicht ewig gut ...