[maerF0x0]

Well, that piece is pretty easy to conclude. They acquired it for essentially nothing.

[pgwhalen]

You are missing a very obvious piece of the puzzle here: assets seized by the government during bankruptcy get used to offset liabilities of the bankrupt company. This doesn't need to be explicitly said; it wouldn't make sense for it to work any other way.

[meepmorp]

> Well, that piece is pretty easy to conclude.

It's also an incorrect conclusion.