Man räknar således förintet