Extrafilm, Strandfilm GmbH, Nederlands Film Instituut