How many movies have María Castillo and Paul Naschy acted in together?

They have not worked on any movies together...