Are The Life and Times of Hank Greenberg or A Brief History of Time both documentary films?