How many movies have Ernesto Martín and José Luis Sanz Benito collaborated on?

They have not worked on any movies together...