Halmos, Paul R., lecture series film collection