The Hawking–Penrose Singularity Theorem for C1,1-Lorentzian Metrics