Martin Hofmann a Viktor Dvořák ve filmu Havel.