ARTE, Gruppe 5, ZDF