Hatte mir keiner gesagt, dass ich auf meinem 65" - TV offenbar noch SD gucke; ich hätte schwören können, das war HD!
Jedenfalls ... erst mal panikartig nach der Anleitung gesucht. Die war aber sehr (!) rudimentär, und auch als mir endlich einigermaßen klar war, wo und wie ich die neuen Senderwerte einstellen kann, fehlte der OK-Speichern-Knopf ... Grrr
Erst das einzelne Aufsuchen der HD-Sender ganz hinten in der Sendeliste und Herumkopieren auf den alten Sendeplatz half.
!!! ICH HASSE SOLCHE UMSTÄNDLICHE TECHNIK !!!
(Immerhin weis ich jetzt, dass der TV 4K kann - ich dachte immer bei HD sei Schluss lol)