Ja gerne, welcher Ton darf es denn sein? Dolby Atmos oder DSD?
Jetzt mal ernsthaft, woher soll das denn in 4k kommen? Ausstrahlung über lineares Fernsehen ist lediglich 720p, in der Mediathek ist 1080p zu finden. Sehr wahrscheinlich wurde das Ganze nicht einmal in 4k aufgenommen, weil die ganze Technik, auch außerhalb der Kamera, in 4k einfach Unsummen an Geld kostet im Vergleich zu 1080p...
Was jedoch keine Ausrede dafür sein darf, dass unsere Öffis das Thema 4k nicht ausbauen, seien es Filme oder Dokumentationen. Aber bei solchen Veranstaltungen ist das allgemeine öffentliche Interesse nicht so groß, dass eine aufwendige und teure 4k-Produktion stattfindet.
Noch einmal zur Anfrage zurück: anstatt nur unüberlegt zu fordern, einfach mal selbst ein wenig recherchieren. Und dann auch mal mit allgemein verfügbaren Programmen die 1080p aus der Mediathek herunterladen und hier vielleicht gar posten.