Fazit: Fußball-WM in Brasilien ist zu Ende