Wie wird der Härteausgleich für eine nicht mehr einbeziehbare Vorstrafe vorgenommen, wenn auf lebenslange Freiheitsstrafe erkannt wird, und warum?