Antenne, Digitaler HDTV Receiver, inklusive Verstärker