62d N 1). Erst nachdem dieser typisch vollzugsrechtliche Entlassungs- bzw. Aufhebungsentscheid (vorne, E. II.1b) in Rechtskraft erwachsen ist, sieht das Strafgesetzbuch in einem davon getrennten, zweiten Verfahren einen gerichtlichen Entscheid vor (vgl. BGE 141 IV 49, E. 2; vorne, E. II.1c).