I was just wondering... what happens to all those bitcoins that are in passworded wallets, where people have lost their password? Are they just *gone*?