this is indeed a sad story.
hopefully this will also serve as a reminder to everyone to keep their wallet.dat and private keys safe.
let us always remember that we cannot blame anyone for this tragic event from happening.
it is only as that can guarantee the safety of our coins.
.
i am also hopeful that this won't ever happen to anyone again.