In diesen Fällen hat es der 4. Strafsenat des Bundesgerichtshofes für zulässig angesehen, den Umstand, dass Freiheitsstrafe aus einer an sich gesamtstrafenfähigen Vorverurteilung vor Erlass des auf lebenslange Freiheitsstrafe lautenden Urteils verbüßt worden war, bei der Festsetzung der Verlängerungsdauer der Mindestverbüßungszeit nach § 57a Abs. 1 Nr. 2 StGB zu berücksichtigen (Beschluss vom 9. Dezember 2008 - 4 StR 358/08 -, NStZ-RR 2009, 104; vgl. auch BVerfG Beschluss vom 29. Januar 2007 - 2 BvR 2025/06 -).

Darüber hinaus wird damit auch in den Fällen mit besonderer Schuldschwere die Bemessung der Höhe der Kompensation, die dem Bereich der tatrichterlichen Strafzumessung unterfällt, wieder dem hierfür zuständigen Tatgericht übertragen (vgl. dazu BVerfG Beschluss vom 29. Januar 2007 - 2 BvR 2025/06 -).

Dergestalt ist nach ständiger Rechtsprechung des Bundesgerichtshofs auch dem Nachteil Rechnung zu tragen, der entsteht, wenn die Strafe aus einer an sich gesamtstrafenfähigen Vorverurteilung vor Verhängung einer lebenslangen Freiheitsstrafe bereits vollständig vollstreckt wurde und diese daher nicht mehr einbeziehungsfähig ist (BGH…, Urteil vom 4. Juli 2018 - 5 StR 46/18 Rn. 26; Beschluss vom 9. Dezember 2008 - 4 StR 358/08;… vgl. zudem BGH, Beschlüsse vom 8. Dezember 2009 - 5 StR 433/09, BGHSt 54, 259 Rn. 6 …und vom 23. Juli 2008 - 5 StR 293/08, BGHR StGB § 55 Abs. 1 Satz 1 Härteausgleich 15; für die Anwendung der Vollstreckungslösung in dieser Konstellation jedoch BGH…, Beschluss vom 20. Januar 2010 - 2 StR 403/09, BGHSt 55, 1 Rn. 7; vgl. zudem BVerfG, Beschluss vom 29. Januar 2007 - 2 BvR 2025/06 Rn. 3 ff.).

Es entspricht der Struktur des Strafverfahrens, dass bei einem Zusammentreffen einer lebenslangen Freiheitsstrafe mit weiteren Freiheitsstrafen, die aufgrund prozessualer Zufälligkeiten nicht nach § 55 Abs. 1 Satz 1 StGB gesamtstrafenfähig sind, die darin liegende Härte erforderlichenfalls bei der Strafzumessung wegen der neuen Tat zu berücksichtigen ist (vgl. BVerfG, Beschluss der 3. Kammer des Zweiten Senats vom 29. Januar 2007 - 2 BvR 2025/06 -, juris).

Die entgangene Einbeziehung nach § 55 StGB kann jedoch im Vollstreckungsverfahren gemäß § 57a Abs. 1 Satz 2, § 57 Abs. 1 Satz 2 StGB bedeutsam werden (vgl. dazu auch BVerfG - Kammer -, Beschluss vom 29. Januar 2007 - 2 BvR 2025/06).

Die entgangene Einbeziehung der bereits vollstreckten Geldstrafe aus der Verurteilung durch das Amtsgericht Bremen vom 31.01.2008 kann gegebenenfalls im Vollstreckungsverfahren gemäß § 57a Abs. 1 S. 2 StGB i.V.m. § 57 Abs. 1 S. 2 StGB hinreichend berücksichtigt werden (vgl. BGH , 5 StR 293/08 vom 23.07.2008, BeckRS 2008, 18071; siehe aber auch BVerfG , 2 BvR 2025/06 vom 29.01.2007; OLG Saarbrücken , NStZ-RR 2007, 219 ).