Das vorläufige Happy - End:
Der Freundliche hat Zähigkeit bewiesen und den Digitaltuner nochmals getauscht, da dieser den Antennenverstärker ansteuere (?).
Letztlich haben die Aktionen - 4 Arbeitstage samt obligaten Update in Abstimmung mit "München" - den Empfang deutlich verbessert und im unmittelbaren Vergleich ist er nunmehr besser als in einem aktuellen S8. (Alles andere funktioniert auch noch!)
Da
muss man doch zufrieden sein.