which shows' opening themes was used to make driving home for christmas ?
SELECT DISTINCT var_uri where brack_open var_x dbo_subsequentWork dbr_Driving_Home_for_Christmas sep_dot var_uri dbo_openingTheme var_x sep_dot var_uri a dbo_TelevisionShow brack_close