§ 57 Absatz 4 StGB
(4) Soweit eine Freiheitsstrafe durch Anrechnung erledigt ist, gilt sie als verbüßte Strafe im Sinne der Absätze 1 bis 3.