  The maximal globally hyperbolic development of non-Taub-NUT Bianchi IX vacuum
initial data and of non-NUT Bianchi VIII vacuum initial data is C2
inextendible. Furthermore, a curvature invariant is unbounded in the incomplete
directions of inextendible causal geodesics.
