Update: Er hat die Satelliten jetzt gefunden. Neustarts haben nichts gebracht. Die Lösung war: warten. Nach über 3 Stunden hatte er endlich den Satfix. Wer also das Problem hat, das Gerät auf den Balkon oder ins Fenster legen und Satelliten suchen lassen. Zwischendurch immer mal die Frage bestätigen, ob er weitersuchen soll. Viel Glück.