The bending lamination conjecture for hyperbolic 3-manifolds [OS Differentialgeometrie]