So in a bank restructuring, not all investors would be made whole.

EUR/USD coming off highs on the headline, now 1.2555 from 1.2583 session highs.