How many movies have Jiří Trnka and Josef Vácha collaborated on?

They have not worked on any movies together...