Manchester City have signed goalkeeper Ederson Moraes for £35m from Benfica.
The 23-year-old broke into the Benfica team last March and won the Portuguese league and cup double this season.
“I like everything about Manchester City,” said Ederson, who will join the Premier League club when the transfer window opens on 1 July.
“With Pep Guardiola, City are growing more and more. He’s putting in place a young team for the future. Those were important factors in my decision.”
He added: “I have always had the dream to play in English football and now I’m going to make it true.
“Manchester City has an amazing squad. Next season, we will have to be focused to achieve the goal of winning trophies.”
Gianluigi Buffon’s world-record move for a goalkeeper from Parma to Juventus in 2001 was reported to be worth 53m euros, or £32.6m at the time.
But at current exchange rates, Ederson’s 40m euros transfer is equivalent to £35m. It is a world record in sterling, but not euros.
Benfica announced the deal had been agreed last Thursday, when they also confirmed 50% of the fee will be paid to “third parties”.
But the transfer could not be concluded until the Premier League was satisfied its rules on third-party ownership were met.