The last time the German government sold currency, it was also OTC, but the market was greatly affected. After all, if you don't sell, you will be taken by OTC buyers to sell. Besides, 70000 BTC, this amount is probably not enough to be consumed in a day. So we countrymen miners are better than others. Now 17000 of them are transferred, and there are 53000 more bitcoins. Don't think about it in the future.