Autogrill - proportional partial demerger of the Travel Retail business