what city was recorded in the biggest bang which is also the official residence of severo ochoa ?
SELECT DISTINCT var_uri where brack_open dbr_The_Biggest_Bang dbo_recordedIn var_uri sep_dot dbr_Severo_Ochoa dbo_residence var_uri brack_close