How many movies have Ane Christensen and Mike Butler collaborated on?

They have not worked on any movies together...