Despite the reduced bandwith, HDTV format still had to be distributed how