Lebenslange Freiheitsstrafe (German Life Imprisonment Case), 45 BVerfGE 187 (BVerfG 1977)