Hi folks, on the Galaxus homepage there is a contradiction in the labelling of the remote control. According to the Technisat homepage, the correct name and number is "Technicontrol 0000/3852", but here it says "TechniControl DVR401B". The photo and the name match, but the number does not. Please let me know whether this is the original Technicontrol 0000/3852 remote control or not. Unfortunately, pictures are not binding! Many thanks.