A film about the Angry Brigade