Did they just yolo market sell all that amount?
Apparently, yes. They still hold plenty of Bitcoin in their portfolio and we could see further dumping in the near future since they only sold around 5-10% of their stack in the last few weeks. German government was dumping directly on exchanges instead of OTC desks. Justin sun posted that he'd be happy to buy their entire size via OTC to minimize the impact on the market. Because if they are dumping that size on the market, there are very buy orders to contain it — so price goes down eventually.
nelson4lov it may not entirely results into more dumping of the price of bitcoin if their decided to offload their remaining starsh into the market, which is not something that I thing will happen the government also want profits, unless for those bitcoin that were seized by the government which are not direct bitcoin buying.
But for those that bought bitcoin at some certain stage in the past, they won't dump everything in the market at once so we shouldn't expect more future sell off from them, since they may be aiming at more profits when bitcoin price skyrocket.