Über 16°Ost schraubt der ORF auch grade
auf 12547 Mhz. Ob allerdings HD?