The Vengeance of Doctor Mabuse — 1971 film by Jesús Franco