====== Pay-TV-Sender ======