BBC: The first World Cup semi-final to end goalless at least afforded the spectacle of a nerve-jangling penalty shootout.