World cup groups finalized.