CEO exit worsens Deutsche Boerse’s bind