HD format dead or dying? 4K television? What next?