The coins are there but since the private key for the wallet that is assigned ownership of them is lost they're effectively gone.
They could in theory be 'reclaimed' with a majority of mining power but it's hard to tell if coins are lost or their owners are just idle.