what city was recorded in lead to light which is also the official residence of severo ochoa ?
SELECT DISTINCT var_uri where brack_open dbr_Lead_to_Light dbo_recordedIn var_uri sep_dot dbr_Severo_Ochoa dbo_residence var_uri brack_close