How many movies have Davis Lee DeRock Jr. and Philipp Stadler collaborated on?

They have not worked on any movies together...