The final kick is painstakingly taken by Martinez, but the final whistle has followed it, and here comes charging in the Spanish bench and staff.

Ferran Torres’ finish makes the difference, although there should have been more goals. But none of it matters now as Spain doubles the number of their World Cup titles.