德国证交所据称考虑出售其ISE期权业务。（彭博社）