Robert Aumann — Filmography