when bitcoin gets lost like that, or when it gets seized by a government, as recently happened in the news, like this... what happens to it in the long run? Is it forever out of circulation?
If no one can find the private key, the coins are lost forever. If the FBI knows the private key, it is up to the agency whether or when to spend them or exchange them for dollars.