Derivatives, bankruptcy and Lehman