"German government" wallet address currently holds less than 10,000 bitcoins

According to Arkham's monitoring, the "German government" wallet address transferred 200 BTC to Kraken seven minutes ago, and the current German government wallet address bitcoin holdings fell to 9,925.