The German government has 9,000 bitcoins left and is almost sold out