Črni Peter, dokumentarni film o Petru Vilfanu