DM800 HD PVR: Erstes Umschalten auf HD-Sender dauert ewig