Juli 2020 in formelle Rechtskraft erwachsen war (vgl. Urteil des Bundesgerichts
9C_281/2022 vom 28. Juni 2023 E. 4.1; vgl. E. 4.2.1.-4.2.2. hiervor).
6.