NorthOntKid,

Three possible scenarios:

Judge Stark orders the allocation of the shares and the issuance of the stock certificates to the Judgement creditors. As a result:
a) KRY delivers the shares to the DE Bankruptcy Court to be sold once the Court approves the sale.
b) The other judgement creditors hold onto the shares until these can be sold/ transferred, or
c) The Judgement creditors sell their rights to the shares (but do not transfer the certificates) to the auction winner and the latter waits until it can obtain the license from OFAC.