NBC: Mimi Reinhard, who typed up Schindler’s list, dies at 107