@kmpst , Herzlich Willkommen in der Community!
Du kannst das “Antennenkabel” über diesen Link bestellen. Das HDMI Kabel würde ich im Fachhandel erwerben. Voraussetzung ist, dass das Ersatzkabel 4K tauglich ist und du es wieder zurückbringen kannst, wenn es nicht funktioniert.
Liebe Grüsse
Daniele