Redirecting to Digital terrestrial television in Ireland