Unrelated, but just curious - how many died in the holocaust? nostr.fmt.wiz.biz