How many movies have Lauren leaves and Tereza Petracek collaborated on?

They have not worked on any movies together...