The German government wallet sold about 6,500 BTC and still holds 43,359 BTC.