How many movies have Hans Ivens and Joris Ivens collaborated on?

They have not worked on any movies together...