I know the news is very old about Germany
selling 50k BTC, and this forum was full of such news, as most of us were in confusion about why they planned to sell these BTC when they could sell them at peak. So now we have seen BTC setting an ATH of $93,477, and Germany sold around 49,858 BTC at an average price of $53k.
Remember that German government is not Bitcoin investor. They simply do their job which does not require them to time the market and find the ATH in this market cycle to sell bitcoins. I don't think German government are regretful about their sale months ago, they did it and completed their job with these bitcoin.
Timing peak and exiting at the right moment is not possible for everyone but at least they could have given it a second opinion Although I am no one to judge their decision, it's their loss
But they could have made more profit don't get what's the hurry to sell them.
If you are an investor or trader, you will try to find ATH, take profit with your bitcoin but government has many other things to do, and their government works by money from their citizens as tax payers. They don't work with money from seized bitcoin at any price of bitcoin on the market.
How German government got these bitcoins defines how they treat these bitcoins. If they invest their national treasury in Bitcoin, like El Salvador or Bhutan, their action would be very different.