Manchester City, ufficiale: preso Ederson. Niente Gigio per Guardiola, il comunicato del Benfica