SAT1 HD kein EPG, kein Sendersymbol?