which leader of allied-occupied germany married to mamie eisenhower ?
SELECT DISTINCT var_uri where brack_open dbr_Allied-occupied_Germany dbp_leader var_uri sep_dot dbr_Mamie_Eisenhower dbo_spouse var_uri brack_close