It wasn’t to be, of course: they lost on penalties to Germany in the semi-final.