Traumatic dislocation of the atlanto-occipital joint.