Eva and the Angel of Death: A Holocaust Opera