Hardfork went fine althought the toal number of coins now is a lot more than the estimated one in the OP. We are sorry about this and we also do not own the majority of the coins, so this means that there are some lucky people out there having some big amounts of coins from initial bug stake.