A number of HD channels have become available over the past few months so here is a list with frequencies to enter if you are manually tuning, to keep you up to date. The HD format if your receiver requires these is DVB s2 s/r 22000- fec 2/3 mod 8PSK
Anixe HD ( 10832H)
Das Erste (11362 H)
ZDF (11362 H)
ARTE Deutsche (11362 H)