Is it true that ATSC uses AC-3 audio compression format? Then what is the audio compression standard used by DVB-T? Thanks for help! -- Harry