Danke für alle tips, es ist dann doch ein Samsung-DVBT2-Receiver geworden (GX-MB540TL)

auf die idee bin ich allerdings erst im Laden gekommen als ich die teile (ca. 89 €) da Liegen sah. Die glotze die wir schon haben ist nämlich auch ein Samsung. Enormer Vorteil: auch künftig nur EINE Fernbedienung worüber meine Frau sehr glücklich ist.

Empfang ist übrigens gut (jedenfalls nicht schlechter als vorher, bei viel Wasser in der Luft auch mal "Blöcke"), der receiver selbst "speist" die Antenne (Thomson HD 00131906) aktiv (also nicht noch ein Netzteil).