which shows' opening themes was used to make devil with a blue dress on ?
SELECT DISTINCT var_uri where brack_open var_x dbo_subsequentWork dbr_Devil_with_a_Blue_Dress_On sep_dot var_uri dbo_openingTheme var_x sep_dot var_uri a dbo_TelevisionShow brack_close