Petra de Nieva (aka Petrita Nieva) was a prolific Spanish film editor who worked in the industry from the 1940s through the 1970s.[1][2][3]