What happens when Germany runs out of Bitcoin to sell at a discount?

Asking for a friend...