Bitcoin does not really understand people or property. It just understands public and private keys. The 8999 remaining bitcoins are presently signed by a public key that has no corresponding private key -- this means they cannot be used in any transaction. Yes, they are effectively lost forever.