二战犹太人有多少工人