How many movies have Lucas van Woerkum and Tijn Docter collaborated on?

They have not worked on any movies together...