Hawking's singularity theorem for Lipschitz Lorentzian metrics

We prove Hawking's singularity theorem for spacetime metrics of local Lipschitz regularity. The proof rests on (1) new estimates for the Ricci curvature of regularising smooth metrics that are based upon a quite general Friedrichs-type lemma and (2) the replacement of the usual focusing techniques for timelike geodesics -- which in the absence of a classical ODE-theory for the initial value problem are no longer available -- by a worldvolume estimate based on a segment-type inequality that allows one to control the volume of the set of points in a spacelike surface that possess long maximisers.