Documentary about Spanish director Luis García Berlanga's "The Executioner" (1963)