Neben Mediathek / HbbTV auch über das terrestrische Signal, DVB-T2. Meines Wissens 1080p 50fps.

Dann hast du wohl die letzten 13 Jahre verschlafen. Die ARD strahlt seit Anfang 2010 in HD aus. Je nach Übertragungsart in 1080p oder 720p. Denn letzteres ist auch HD.

Das liegt sicherlich in Teilen auch daran, dass das heutige Spiel vom ZDF übertragen wurde und nicht von der Sportschau. Das Spiel kann man zB über https://mediathekviewweb.de/#query=deutschland%20%3E60&future=false spoilerfrei und schon länger finden.

If you only want to trim MP3 or AAC files I can recommend mp3DirectCut. Ad-free, fast and simple.

PlayStore Link mp3DirectCut