Problem gelöst: Habe statt des Westeuropa-Updates (da kam am Ende keine Erfolgsmeldung mit Neustart des Systems, glaube ich) das Osteuropa-Update eingespielt (hier kamen die Erfolgsmeldung und der Neustart) und nun sind die Satellitenkarten wieder da.
