Muratti und Sarotti - Die Geschichte des deutschen Animationsfilms 1920 bis 1960Animation, Documentary