Today the German government deposited a total of more than 16,000 BTC worth ~900 million$ to exchanges.

Currently they still have 23,787 BTC (~$1.35 billion).