How many movies have Michael de Roos and Rens Lucassen collaborated on?

They have not worked on any movies together...