Benötigen die HD fähigen Receiver nicht eine andere Software, ähnlich wie bei der Dreambox oder DBox, damit die bösen Karten laufen?