VTX TV – Wie setze ich meinen TV-Decoder auf die Werkseinstellungen zurück?