Wie lange ist eine lebenslange Strafe?