Nochmal kurzes Update:
Bin beim Punkt Services auf die Spalte Local Channel Number gestoßen.
Genau hier haben die Sender die Nummerierung, wie sie vom Provider vorgegeben sind.
Einige hatten bei mir die Nummerierung 0, welche auch in der Tat nicht erreichbar waren. Offensichtlich wurden die Sender in der Vergangenheit entweder zum Teil auf andere Programmplätze verschoben, oder komplett entfernt.
TVHeadend scheint also doch irgendwie mit umzugehen können.
Ich bleib auf jeden Fall weiter am Ball ;D