Ich hatte die gesicherten Updates nicht einfach kopiert, sondern über das Online-Update eingespielt. Ich hatte mich dabei genau an die Beschreibung in den FAQ gerichtet.
So war das Update aber nicht vollständig, sondern erst, nachdem ich es ein zweites mal durchgeführt hatte. Das war mir erst klar, nachdem ich das im Nachhinein, hier im Forum, bzw. bei Google gelesen hatte. Jetzt funktioniert es jedenfalls.
Danke für deine Hilfe, Daniel.