Feature films starring Hans Petch