Feature films starring Josef Randl