name the tv show whose opening theme is stan getz and the subsequent work is porto dos milagres ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_openingTheme dbr_Stan_Getz sep_dot var_uri dbo_subsequentWork dbr_Porto_dos_Milagres sep_dot var_uri a dbo_TelevisionShow brack_close