BGer 9C_415/2023 vom 12. Juli 2023 , Berufliche Vorsorge (Zwangsanschluss an die Auffangeinrichtung), - Bundesgericht (2023)