okay, danke, puh, das überfordert mich etwas, was ist ein VLC-Player? Ist das mein Gerät? Und ich habe den ja nicht am Netz, weder Internet noch irgendwie an dvb-t oder dvb-s, da dürfte ein Update vermutlich schwierig sein ...?