i kind of get a feeling that quite some people have lost a good amount of fun xD but it cant just disappear because a database is wrong,  right? i assume the fun tokens were in a wallet, did they take it?