ARTE, Flare Film, RBB, Farbfilm-Verleih