SamyGO

I live in the Netherlands and receive the various BBC channels on my UE46D6500 by satellite. I would like to have the BBC "red button" functionality working, but sofar I have not been able to get it going. I have installed the latest firmware (T-GASDEUC-1018.0). With the "ruSamsungTVCommunicator" I have accessed the normally greyed out areas in the service menu but I have not been able to find the relevant option. It may be possible that this will only work for the UK so that I would have to change the "Local Set" value to UK. However, I would like to avoid that because I already changed Local Set to Germany to enable HbbTV and I would not want to loose that.

So, does anyone know if/how it is possible to have HbbTV and red button functionalituy on the same TV?