Das Erste HD und Co. verschwunden