Benkő József, Erdély polihisztora - dokumentumfilm