which shows' opening themes was used to make no rest for the wicked ?
SELECT DISTINCT var_uri where brack_open var_x dbo_subsequentWork dbr_No_Rest_for_the_Wicked_ attr_open Ozzy_Osbourne_album attr_close sep_dot var_uri dbo_openingTheme var_x sep_dot var_uri a dbo_TelevisionShow brack_close