Ich habe das Problem jetzt durch Editieren der Muxes gelöst, die ursprünglich auf DVB-T statt DVB-T2 standen (Detail unter obigen Link).
Jetzt kann ich tatsächlich HD Sender empfangen.
Aber jetzt kommt das Bild ständig ins stocken und Audio und Video laufen auseinander und der Empfang bricht irgendwann ab.
Die CPU wird außerdem trotz Kühlkörper und offenem Gehäuse sehr heiß.
Ist der Raspberry Pi 3 zu langsam für DVB-T2 Empfang oder hat das irgendwo schon einmal funktioniert?