Stocks | Fri Jun 6, 2014 8:42am EDT

Deutsche Boerse would use ISE sale proceeds for Asia -sources