Kann mir jemand sagen, wo HR3 geblieben ist? Es wird zwar noch im EPG mit Arte zusammen geführt, aber es sind keinerlei HR3-Sendungen drin.