When you think of heroes from the Holocaust era, you might think of names like Anne Frank, Corrie ten Boom, and Oskar Schindler. There’s another name you should know because …