IBRC Loan Sale Proceeds May Exceed €12.9 Billion