On ET9000 on Das Erste long-red should indeed show HbbTV. I just checked it on my ET9200 and there it works. It should work on all ET, xmt the 5000; I have no idea why it doesn't work on yours.
Do you use the original R/C?
Do other long-buttons work fine?