How many movies have August Diehl and Carlos de Miguel collaborated on?

They have not worked on any movies together...