name the tv shows whose developer is steven soderbergh and executive producer is keith redmon ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_developer dbr_Steven_Soderbergh sep_dot var_uri dbo_executiveProducer dbr_Keith_Redmon sep_dot var_uri a dbo_TelevisionShow brack_close