Mediaset esercita l’opzione put: Premium ceduta a Sky entro dicembre