RTL Group welcomes final approval for the sale of RTL Nederland to DPG Media