Phasenweise laufen einige vereinzelte Sender nicht Disney Discovery etc.