Antennenfernsehen in HD: DVB-T2 HD startet am 31. Mai