Jan Hartl ve filmu Zatmění všech sluncí (1987, režie Ludvík Ráža)