How does a defunct exchange move 12k Bitcoin?

The funds were all distributed last summer/fall, yes?