facts:
Sachverhalt:
A.
A.a. Die IGP-BVG-Stiftung bezweckt als Sammelstiftung die Durchführung der beruflichen Vorsorge im Rahmen des BVG und seiner Ausführungsbestimmungen (nachfolgend: Sammelstiftung). Sie untersteht der Bernischen BVG- und Stiftungsaufsicht (BBSA). Am 10./15. Dezember 2004 unterzeichneten die Sammelstiftung und die Personalvorsorgestiftung A._ in Liquidation einen Übertragungsvertrag. Gemäss diesem vereinbarten die Parteien im Rahmen der Liquidation der Personalvorsorgestiftung A._ die Übertragung der im Vertrag aufgeführten Passiven (Rentendeckungskapitalien in der Höhe von Fr. 35'733'099.-) und Aktiven im selben betraglichen Umfang per 31. Dezember 2004 bzw. 1. Januar 2005 auf die Sammelstiftung. Gestützt darauf führte diese ab dem 1. Januar 2005 bei sich das Vorsorgewerk Rentenkasse B._. Die Personalvorsorgestiftung A._ wurde im Oktober 2010 aus dem Handelsregister gelöscht.
A.b. Am 1. Oktober 2014 erliess die BBSA eine Verfügung betreffend Aufhebung des Vorsorgewerks Rentenkasse B._. Darin wurde der Stiftungsrat der Sammelstiftung angewiesen, innert 30 Tagen seit der Verfügungszustellung bei der Stiftung Sicherheitsfonds BVG den Antrag zur Übernahme der Verpflichtungen des Vorsorgewerks Rentenkasse B._ zu stellen (Dispositiv-Ziffer 1), wobei die Übernahme der Leistungen des Vorsorgewerks Rentenkasse B._ durch die Stiftung Sicherheitsfonds BVG per 1. Dezember 2014 zu erfolgen habe (Dispositiv-Ziffer 2). Ferner seien die Rentendeckungskapitalien, die versicherungstechnischen Reserven und die Anteile Wertschwankungsreserven des Vorsorgewerks Rentenkasse B._ per 30. November 2014 an die Stiftung Sicherheitsfonds BVG zu überweisen (Dispositiv-Ziffer 3). Sodann forderte die BBSA die Sammelstiftung auf, einen Schuldenruf durchzuführen (Dispositiv-Ziffer 4). Schliesslich verlangte sie eine Bestätigung von Experte bzw. Revisionsstelle, dass die erworbenen Leistungen der Rentner per 1. Dezember 2014 nicht geschmälert (Dispositiv-Ziffer 5) bzw. die vorhandenen Mittel an den Sicherheitsfonds BVG übertragen worden seien (Dispositiv-Ziffer 6).
A.c. Am 13. November 2014 verfügte die Stiftung Sicherheitsfonds BVG (kurz: der Sicherheitsfonds), dass die gesetzlichen und reglementarischen Leistungen der Versicherten des Vorsorgewerks Rentenkasse B._ sichergestellt werden und der Sicherheitsfonds die laufenden Renten selber weiterführt (Dispositiv-Ziffer 1). Ausserdem wies der Sicherheitsfonds den Stiftungsrat der Sammelstiftung an, für die Absprache der administrativen Übertragung der Rentenleistungen und der Aktiven des Vorsorgewerks mit seiner Geschäftsstelle Kontakt aufzunehmen (Dispositiv-Ziffer 2), sowie die Rentenleistungen bis zur Regelung der administrativen Übertragung aus den noch vorhandenen Mitteln des Vorsorgewerks weiter auszurichten (Dispositiv-Ziffer 3). Gleichzeitig erklärte er den Eintritt in die Ansprüche der Vorsorgeeinrichtung im Umfang von 3 Mio. Franken gegenüber sämtlichen Personen, die für die Zahlungsunfähigkeit des Vorsorgewerks ein Verschulden trifft (Dispositiv-Ziffer 4). Schliesslich entzog er einer allfälligen Beschwerde die aufschiebende Wirkung (Dispositiv-Ziffer 5).
B.
B.a. Mit Entscheid vom 12. Juli 2016 stellte das Bundesverwaltungsgericht auf Beschwerde der Sammelstiftung hin fest, dass Dispositiv-Ziffern 2, 3, 5 und 6 der Verfügung der BBSA vom 1. Oktober 2014 nichtig seien (Dispositiv-Ziffer 1). Es hiess die Beschwerde gut, soweit es darauf eintrat, und hob Dispositiv-Ziffern 1, 4 sowie 7 (Kosten) der Verfügung auf (Dispositiv-Ziffer 2).
B.b. Mit (Folge-) Entscheid vom 25. August 2016 hiess das Bundesverwaltungsgericht die von der Sammelstiftung gegen die Verfügung des Sicherheitsfonds vom 13. November 2014 eingereichte Beschwerde in dem Sinne gut, als es die nämliche Verfügung aufhob.
C.
C.a. Die Oberaufsichtskommission Berufliche Vorsorge OAK BV (kurz: OAK) erhebt gegen den Entscheid vom 12. Juli 2016 Beschwerde in öffentlich-rechtlichen Angelegenheiten und beantragt, dessen Dispositiv-Ziffern 2, 3 (Kosten) und 4 (Parteientschädigung) seien aufzuheben (Verfahren 9C_612/2016).
Die Sammelstiftung schliesst in ihrer Vernehmlassung auf Nichteintreten, eventualiter auf Abweisung der Beschwerde. Das Bundesamt für Sozialversicherungen (BSV) verzichtet darauf, formell einen Antrag zu stellen. Die BBSA reicht keine Stellungnahme ein.
C.b. Der Sicherheitsfonds reicht gegen den Entscheid vom 25. August 2016 ebenfalls Beschwerde in öffentlich-rechtlichen Angelegenheiten ein und beantragt, dieser sei aufzuheben, und die im vorangegangenen Verfahren eingereichte Beschwerde der Sammelstiftung sei abzuweisen (Verfahren 9C_667/2016).
Die Sammelstiftung schliesst auf Abweisung der Beschwerde, soweit darauf einzutreten sei. Das BSV verzichtet darauf, formell einen Antrag zu stellen.

considerations:
Erwägungen:
1.
Aufgrund des engen sachlichen Zusammenhanges der vorliegenden Verfahren, in denen sich teilweise die gleichen Rechtsfragen stellen, und in Anbetracht des Umstandes, dass das Bundesverwaltungsgericht in seinem Entscheid vom 25. August 2016 (vgl. vorinstanzliche E. 3.2) in Beantwortung einer der Streitpunkte auf E. 4.3.2 seines Entscheides vom 12. Juli 2016 verweist, rechtfertigt es sich, in einem einzigen Urteil über die Beschwerden zu befinden.
2.
Vorab gilt es, die von der Sammelstiftung im Verfahren 9C_612/2016 bemängelten Eintretensvoraussetzungen betreffend Rechtsbegehren (vgl. E. 2.1) und Beschwerdelegitimation (E. 2.2) zu prüfen:
2.1.
2.1.1. Die OAK beantragt im Hauptpunkt die blosse Aufhebung von Dispositiv-Ziffer 2, 3 und 4 des angefochtenen Entscheides. Die Beschwerde in öffentlich-rechtlichen Angelegenheiten ist grundsätzlich ein reformatorisches Rechtsmittel (Art. 107 Abs. 2 BGG), weswegen die beschwerdeführende Partei in der Regel einen Antrag in der Sache stellen und angeben muss, welche Abänderungen beantragt werden. Anträge auf Rückweisung der Sache an die Vorinstanz zu neuer Entscheidung oder blosse Aufhebungsanträge genügen im Prinzip nicht. Ausnahmsweise lässt es die Rechtsprechung genügen, dass ein kassatorisches Begehren gestellt wird, wenn sich aus der Begründung ergibt, was mit der Beschwerde angestrebt wird (BGE 137 II 313 E. 1.3 S. 317; Urteil 1C_809/2013 vom 13. Juni 2014 E. 1, nicht publ. in: BGE 140 II 334; Urteil 1C_466/2013 vom 24. April 2014 E. 2.3, nicht publ. in: BGE 140 I 68), oder wenn das Bundesgericht ohnehin nicht reformatorisch entscheiden könnte, weil die erforderlichen Sachverhaltsfeststellungen der Vorinstanz fehlen (BGE 133 III 489 E. 3.1 S. 489 f.), oder im Falle einer vor Bundesgericht nicht heilbaren Verletzung des rechtlichen Gehörs (Urteile 2C_144/2016 vom 22. Juli 2016 E. 1.2; 2C_971/2014 vom 18. Juni 2015 E. 2.2).
2.1.2. In concreto ist das rein kassatorisch gestellte Rechtsbegehren zulässig, zumal für die Auslegung der Begehren auch die Beschwerdebegründung beizuziehen ist (BGE 136 V 131 E. 1.2 S. 136). Wie die Sammelstiftung in ihrer Vernehmlassung selber ausführt, verlangt die OAK mit ihrem Aufhebungsantrag implizit die Bestätigung von Dispositiv-Ziffer 1, 4 und 7 der Verfügung der BBSA vom 1. Oktober 2014. Ist die Beschwerde begründet und wird Dispositiv-Ziffer 2 des vorinstanzlichen Entscheides aufgehoben, so führt dies automatisch zur Wiederauflebung der entsprechenden Dispositiv-Ziffern 1, 4 und 7 der besagten Verfügung. Eines reformatorischen Urteils bedarf es diesbezüglich nicht. Was die kantonale Kostenregelung betrifft (Dispositiv-Ziffer 3 und 4 des angefochtenen Entscheids), so kann sich das Bundesgericht damit befassen, ohne dass es eines entsprechenden Antrages bedarf (vgl. Art. 67 und 68 Abs. 5 BGG).
2.1.3. Die Sammelstiftung legt nicht näher dar, weshalb Dispositiv-Ziffer 1 der Verfügung der BBSA vom 1. Oktober 2014 nicht vollstreckbar sein soll. Vollstreckbar sind nicht nur Entscheide auf Geldleistungen, sondern auch Verpflichtungen auf Tun oder auf Abgabe einer Willenserklärung (vgl. Art. 69 und Art. 70 BGG).
2.2.
2.2.1. Die OAK verfügt über ein abstraktes Beschwerderecht und braucht daher die Erfordernisse der materiellen und formellen Beschwer nicht zu erfüllen (vgl. Art. 89 Abs. 2 lit. a BGG in Verbindung mit Art. 74 Abs. 4 BVG; vgl. auch Urteile 2C_127/2010 vom 15. Juli 2011 E. 1.2.1, nicht publ. in BGE 137 II 431, sowie 8C_841/2008 vom 7. April 2009 E. 2.1). Im Übrigen liegt auf der Hand, dass die OAK angesichts ihres Aufgabenbereichs - vor allem Sicherstellung der Aufsichtsqualität und einer rechtsgleichen Aufsichtspraxis (vgl. Art. 64a BVG) - ein aktuelles und praktisches Interesse aufweist: Mit Blick auf die einheitliche Anwendung von Bundesrecht (vgl. E. 5 ff. hinten) in gleichgelagerten Fällen - die vorliegende Konstellation ist keine singuläre Erscheinung - besteht ein zureichendes Interesse an der Beurteilung der streitigen Problematik. Daran ändert nichts, dass die OAK und der Sicherheitsfonds, der in der Sache 9C_667/2016 Beschwerdeführer ist, ihre Rechtsschriften offenbar untereinander ausgetauscht haben (vgl. aber E. 3 hinten) und letztlich identisch argumentieren, wie die Sammelstiftung kritisiert. Es kann durchaus sein, dass die OAK mit ihrer Beschwerdeerhebung beabsichtigt, den Prozess in ein prominenteres Licht zu stellen. Indes ist es nicht untersagt, dass eine (obere) Aufsichtsbehörde bei grundsätzlich gegebener Beschwerdeberechtigung eine ihr unterstellte Organisation prozessrechtlich sekundiert. Von einer rechtsmissbräuchlichen Inanspruchnahme des Rechtsmittels kann jedenfalls nicht gesprochen werden, zumal es auch im Verfahren 9C_667/2016 um einen Streit geht, der sich innerhalb des Aufgabenbereichs der OAK abspielt (vgl. E. 1 vorne).
2.2.2. Im Übrigen stehen die Dispositiv-Ziffern 4 und 7 der Verfügung der BBSA vom 1. Oktober 2014 in unmittelbarem Zusammenhang mit Dispositiv-Ziffer 1 dieser Verfügung. Ebenso sind Dispositiv-Ziffern 3 und 4 des vorinstanzlichen Entscheides vom 12. Juli 2016 Folgen der dortigen Dispositiv-Ziffer 2. Nur weil sie selber nicht "näher" angefochten sind, mutieren sie - entgegen der Ansicht der Sammelstiftung - nicht zu "nichtssagenden" Punkten. Ebenso wenig ist deswegen der OAK ihr Beschwerderecht abzusprechen (vgl. E. 2.1.2 vorne).
2.3. Nach dem Gesagten ist auf die Beschwerde im Verfahren 9C_612/2016 einzutreten.
3.
Soweit die OAK neue Tatsachen vorbringt und neue Beweismittel auflegt - im Fokus stehen die Ausführungen betreffend die Höhe der Verwaltungskosten und die zu den Akten gegebene versicherungstechnische Bilanz per 31. Dezember 2015 pro Vorsorgewerk vom 9. Juni 2016 -, so bleiben diese unbeachtlich. Es ist nicht ersichtlich und wird nicht dargetan, weshalb die BBSA die fraglichen Fakten und Unterlagen nicht bereits im vorinstanzlichen Verfahren hätte beibringen können (vgl. Art. 99 Abs. 1 BGG und Urteil 9C_61/2014 vom 23. Juli 2014 E. 2.3 mit Hinweisen).
Nicht anders verhält es sich mit den vom Sicherheitsfonds - nebst der versicherungstechnischen Bilanz per 31. Dezember 2015 pro Vorsorgewerk - neu aufgelegten Berichten der Revisionsstelle zu den Jahresrechnungen 2014 und 2015 sowie der neu geltend gemachten Behauptung, dass das Vorsorgewerk Rentenkasse B._ nicht wenige Spitzenrisiken aufweist. Das erst jetzige Einbringen dieser Noven wird mit keinem Wort begründet.
4.
An den Anfang der höchstrichterlichen Überprüfung ist der Entscheid des Bundesverwaltungsgerichts vom 12. Juli 2016 zu stellen. Der Ausgang des Verfahrens 9C_612/2016 beeinflusst unmittelbar die Beurteilung des Verfahrens 9C_667/2016.
4.1. Die Vorinstanz erachtete die in Dispositiv-Ziffer 1 der Verfügung der BBSA vom 1. Oktober 2014 enthaltene Anweisung, beim Sicherheitsfonds die Übernahme der Verpflichtungen der Rentenkasse zu beantragen, als verfrüht. Solange die Sammelstiftung fortlaufend schriftlich nachweise, dass sie ihre fälligen Vorsorgeverpflichtungen fristgerecht erbringe, sei die Leistungspflicht des Sicherheitsfonds kein Thema; dies sei erst bei Zahlungsunfähigkeit der Vorsorgeeinrichtung oder des Versichertenkollektivs der Fall.
Demgegenüber vertritt die OAK die Auffassung, bei reinen Rentenvorsorgewerken resp. reinen Rentnerkassen, die längerfristig nicht mehr sanierbar seien, müsse die Aufsichtsbehörde die Möglichkeit haben, in Zusammenarbeit mit dem Sicherheitsfonds frühzeitig zu intervenieren und die Aufhebung zu veranlassen. Sie müsse nicht tatenlos zuschauen, bis die gesetzlichen oder reglementarischen Leistungen nicht mehr erbracht werden könnten.
4.2. Das Gesetz verbietet die Gründung einer reinen Rentnerkasse nicht. Der Bundesrat, der die Verordnung vom 22. Juni 1998 über den Sicherheitsfonds BVG (SFV; SR 831.432.1) erliess, hat sich implizit für die Zulässigkeit von korrekt errichteten und genügend finanzierten Rentnerkassen ausgesprochen (Stellungnahme des Bundesrates vom 6. Dezember 2013 zur Motion "BVG und Rentnerkassen. Unerwünschten Folgen vorbeugen" von Nationalrat Stéphane Rossini). Nichts anderes lässt sich seinem Bericht zuhanden der Bundesversammlung über die Zukunft der 2. Säule, Entwurf vom 24. Dezember 2011, entnehmen. Auch daraus erhellt, dass der Bundesrat gegen Rentnerkassen, die genügend ausfinanziert sind, nichts einzuwenden hat (S. 118 f.). Die definitive Version dieses Berichts wie auch der Bericht zur Reform der Altersvorsorge 2020 äussern sich nicht (mehr) zur Schaffung von Rentnerkassen. (Diesen "von Amtes wegen" kritisch begegne der Sicherheitsfonds [vgl. DANIEL DÜRR/TRISTAN IMHOF, Notwendige Solidaritäten - zu wem gehören die Rentner?, in: Die Rolle des Arbeitgebers in der beruflichen Vorsorge, VPS Verlag 2016, S. 109]).
Es braucht an dieser Stelle nicht darüber befunden zu werden, nach welcher Formel die Ausfinanzierung eines Rentnerbestandes, der separat ausgegliedert und versichert werden soll, zu erfolgen hat (vgl. zum Beispiel MAX MEILI, Stiftung Auffangeinrichtung BVG, Führung von Rentenbeständen, in: Schweizer Personalvorsorge 2013 Heft 7 S. 47 f.). Ebenso wenig braucht hier der Frage nachgegangen zu werden, ob und inwieweit das Vorsorgewerk Rentenkasse B._ - auf lange Sicht hin - finanziell genügend ausgestattet wurde, zumal im Zeitpunkt des Entscheides der Aufsichtsbehörde vom 13. Juni 2005 die Liquidation von Arbeitgeberfirma und abgebender Vorsorgeeinrichtung bereits im Gange waren (vgl. E. 4.3 nachfolgend). Beide fielen daher als dereinst in Frage kommende Nachfinanzierende bzw. Sanierende von vornherein ausser Betracht, mithin die Gefahr von Moral Hazard - anders als die OAK glauben zu machen versucht - eher damals als heute ein Thema (gewesen) wäre. ERICH PETER (Rentnerkassen, Zulässigkeit und Voraussetzungen der Neugründung, in: SZS 2014 S. 308) meint jedenfalls, dass eine gültige, volle vertragliche Entlastung der abgebenden Vorsorgeeinrichtung betreffend Nachfinanzierung und/oder des Arbeitgebers betreffend eine allfällige Nachfinanzierung und/oder nachträgliche Sanierungspflicht nur denkbar ist, wenn die Berechnung des Deckungskapitals zu einem tatsächlich risikolosen technischen Zins erfolgt, d.h. zu einer technischen Verzinsung mit dem Zins von Bundesobligationen, deren Laufzeiten kongruent sind mit der Lebenserwartung des Rentnerbestands. Dabei weist er darauf hin, dass die Tatsächlichkeit dieser risikolosen Betrachtung von der Grösse des Rentnerbestands abhängt; nur bei einem grossen Rentnerbestand könne davon ausgegangen werden, dass sich aus den angewendeten Generationentafeln auch keine Abweichungen betreffend die angenommene Sterblichkeit ergeben.
4.3. Die Rechtmässigkeit der hier streitigen Intervention beurteilt sich nach dem Sachverhalt, wie er sich bis zum Verfügungszeitpunkt am 1. Oktober 2014 entwickelt hat (BGE 130 V 138 E. 2.1 S. 140 f.). Entsprechend ist von folgenden Gegebenheiten, die das Bundesverwaltungsgericht für das Bundesgericht verbindlich festgestellt hat (vgl. Art. 105 Abs. 1 und 2 BGG), auszugehen: Dem Vorsorgewerk Rentenkasse B._ sind keine aktivversicherten Personen angeschlossen. Die Passivversicherten beziehen ausschliesslich die ihnen zustehenden gesetzlichen und reglementarischen Renten. Dieses Versichertenkollektiv befindet sich seit 2008 in Unterdeckung. Der Deckungsgrad variiert zwischen rund 85 und 91 Prozent (2008: 87,32 %; 2009: 91,47 %; 2010: 90,21 %; 2011: 87,89 %; 2012: 85,15 %; 2013: 86,12 %; 2014: 87,96 %; 2015: 86,92 %). Die ehemalige Arbeitgeberin und Stifterfirma ist liquidiert und im Handelsregister gelöscht. Sanierungsmassnahmen im Rahmen von Art. 65d Abs. 3 lit. b BVG (Rentnerbeiträge zur Behebung einer Unterdeckung) können nicht ergriffen werden. Dessen ungeachtet ist das Vorsorgewerk Rentenkasse B._ bis anhin seinen Verpflichtungen rechtzeitig und vollständig nachgekommen; es liegen keine Liquiditätsengpässe vor, die eine fristgerechte Begleichung der Verpflichtungen aus der beruflichen Vorsorge verunmöglichten. Im Weiteren ist - nach Einblicknahme in das Handelsregister - gerichtsnotorisch, dass sowohl die ehemalige Arbeitgeberin (A._) als auch die gleichnamige Vorsorgeeinrichtung im Februar 2003 in Liquidation gesetzt und im November 2008 bzw. Oktober 2010 gelöscht wurden sowie die Übertragung der Rentner an die Sammelstiftung gestützt auf den Übertragungsvertrag vom 10./15. Dezember 2004 und den Entscheid der Aufsichtsbehörde vom 13. Juni 2005 erfolgte (vgl. zur Gerichtsnotorietät von Handelsregistereinträgen BGE 135 III 88 E. 4.1 S. 89 f.).
5.
5.1. Gemäss Art. 65 Abs. 1 BVG müssen die Vorsorgeeinrichtungen jederzeit Sicherheit dafür bieten, dass sie die übernommenen Verpflichtungen erfüllen können. Diese müssen durch Vorsorgevermögen gedeckt sein (Abs. 2bis Satz 1). Eine zeitlich begrenzte Unterdeckung und damit eine zeitlich begrenzte Abweichung von diesem Grundsatz ist nach Art. 65c Abs. 1 BVG zulässig, wenn sichergestellt ist, dass die Leistungen im Rahmen des Gesetzes bei Fälligkeit erbracht werden können (lit. a) und die Vorsorgeeinrichtung Massnahmen ergreift, um die Unterdeckung in einer angemessenen Frist zu beheben (lit. b).
5.2. Die Vorsorgeeinrichtung muss die Unterdeckung selbst beheben. Der Sicherheitsfonds tritt erst dafür ein, wenn die Vorsorgeeinrichtung zahlungsunfähig ist (Art. 65d Abs. 1 BVG; vgl. auch Art. 56 Abs. 1 lit. b und c BVG, wonach er die gesetzlichen und reglementarischen Leistungen von zahlungsunfähig gewordenen Vorsorgeeinrichtungen sicherstellt).
Zahlungsunfähig ist eine Vorsorgeeinrichtung oder ein Versichertenkollektiv, wenn die Vorsorgeeinrichtung oder das Versichertenkollektiv fällige gesetzliche oder reglementarische Leistungen nicht erbringen kann undeine Sanierung nicht mehr möglich ist (Art. 25 Abs. 1 SFV; vgl. auch Art. 56 Abs. 3 Satz 2 BVG: Die Zahlungsunfähigkeit der Vorsorgewerke ist getrennt zu beurteilen). Nicht mehr möglich ist die Sanierung eines Versichertenkollektives, wenn über den Arbeitgeber ein Konkursverfahren oder ein ähnliches Verfahren eröffnet worden ist (Art. 25 Abs. 2 lit. b SFV).
5.3. Ansprüche gegenüber dem Sicherheitsfonds sind bei der Geschäftsstelle des Sicherheitsfonds in der von ihr vorgeschriebenen Form geltend zu machen (Art. 20 Abs. 1 SFV). Die Geschäftsstelle des Sicherheitsfonds prüft, ob die gesetzlichen Voraussetzungen für Leistungen erfüllt sind und hält ihren Entscheid auf Verlangen der Vorsorgeeinrichtung in einer Verfügung fest (Art. 20 Abs. 3 SFV).
Antragstellerin für die Leistungen des Sicherheitsfonds ist die zahlungsunfähig gewordene Vorsorgeeinrichtung oder die Rechtsträgerin des insolvent gewordenen Versichertenkollektivs (Art. 24 Abs. 1 SFV). Die Aufsichtsbehörde bestätigt zuhanden des Sicherheitsfonds, dass über die Vorsorgeeinrichtung ein Liquidations- oder Konkursverfahren oder ein ähnliches Verfahren eröffnet worden ist (Art. 24 Abs. 2 SFV).
6.
6.1. In Subsumption des massgebenden Sachverhalts (vgl. E. 4.3 vorne) unter die rechtlichen Gegebenheiten (vgl. E. 5.2 vorne) ergibt sich, dass das Vorsorgewerk Rentenkasse B._ nach wie vor zahlungsfähig ist. Die erste Voraussetzung von Art. 25 Abs. 1 SFV ist klarerweise nicht erfüllt; das Vorsorgewerk kann die fälligen gesetzlichen und reglementarischen Leistungen weiterhin erbringen. Damit besteht grundsätzlich kein Anspruch auf Sicherstellungsleistungen des Sicherheitsfonds, und diesem kommt keine Rolle zu. In der Praxis kommt es wohl verschiedentlich im Vorfeld eines Liquidationsverfahrens zu Kontakten und Gesprächen zwischen den Entscheidungsträgern der Vorsorgeeinrichtung und der Aufsichtsbehörde sowie der Geschäftsstelle des Sicherheitsfonds. Dies ändert jedoch nichts an dessen beschränktem Aktionsradius (DANIEL DÜRR/SVEN FISCHER, Der Sicherheitsfonds als Akteur bei Liquidationen von Vorsorgeeinrichtungen, in: Gesamt- und Teilliquidation von Pensionskassen, 2013, S. 88).
6.2. Triftige Gründe, die für eine Auslegung gegen den Wortlaut von Art. 25 Abs. 1 SFV sprechen, sind nicht ersichtlich.
6.2.1. Die von der OAK zitierten Mitteilungen des BSV über die berufliche Vorsorge Nr. 41 vom 1. Juli 1998 (S. 20 f.) rechtfertigen kein Abweichen vom eindeutigen "und" in Art. 25 Abs. 1 SFV (vgl. zur Auslegung SVR 2016 BVG Nr. 23 S. 98, 9C_813/2014 E. 2.2). Mit der Kommentierung, dass "der Sicherheitsfonds (...) nur dann Leistungen erbringen (soll), wenn die Vorsorgeeinrichtung bzw. das Versichertenkollektiv die Unterdeckung nicht selbst beheben kann", wird seine subsidiäre Sicherstellungspflicht betont (BGE 135 V 382 E. 7.4 S. 397). Die beiden Voraussetzungen - Unmöglichkeit der Leistungserbringung sowie Sanierungsunfähigkeit - werden deswegen nicht zu Alternativen. Mit der Anmerkung, "der Sicherheitsfonds soll demnach auch dann leisten, wenn ein Versichertenkollektiv z.B. wegen fehlerhafter Vermögensanlage eine so grosse Unterdeckung aufweist (z.B. 50 %), dass eine Sanierung nicht mehr möglich ist", wird die mit der SFV neu geschaffene und am 1. Juli 1998 in Kraft getretene Rechtslage illustriert. Diese zeichnet sich dadurch aus, dass die zweite Tatbestandsvoraussetzung (Sanierungsunfähigkeit) - im Gegensatz zur altrechtlichen Ordnung - nicht zwingend erfordert, dass der Arbeitgeber in Konkurs gefallen ist (vgl. Art. 7 Abs. 2 aSFV 2, AS 1989 1900). Die Konstellation, dass die fälligen gesetzlichen und reglementarischen Leistungen nicht mehr erbracht werden können und gleichzeitig über den Arbeitgeber ein Konkursverfahren eröffnet worden ist, stellt nurmehr eine von verschiedenen denkbaren Situationen der Zahlungsunfähigkeit eines Versichertenkollektivs dar, wie aus den Mitteilungen selber erhellt. Eine Änderung in der Verknüpfung der beiden Tatbestandsvoraussetzungen - von "und" zu "oder" - lässt sich daraus nicht ableiten.
6.2.2. Der Verweis des Sicherheitsfonds auf verwandte Bestimmungen, wie Art. 84a ZGB und Art. 725 Abs. 2 OR, hilft ebenfalls nicht weiter. Dies schon deshalb nicht, weil sich keine der beiden Bestimmungen mit der vorliegenden Konzeption eines gesetzlich verankerten Risikoträgers vergleichen lässt; vor allem gehen die speziellen Bestimmungen des BVG denjenigen des (allgemeinen) Stiftungsrechts vor. Ausserdem ist in Art. 84a Abs. 1 ZGB der Wortlaut genauso klar wie in Art. 25 Abs. 1 SFV; mit dem unverrückbaren Unterschied, dass dort - anders als hier - ein "oder" geschrieben steht: "Besteht begründete Besorgnis, dass die Stiftung überschuldet ist oder ihre Verbindlichkeiten längerfristig nicht mehr erfüllen kann (...) ". Art. 725 OR regelt allein den Fall der Überschuldung, weil sich derjenige der Zahlungsunfähigkeit nach Art. 191 Abs. 1 SchKG richtet. Ebenso wenig lassen Art. 65 Abs. 2bis BVG und Art. 65c BVG einzig den Schluss zu, dass Zahlungsunfähigkeit automatisch gegeben ist, wenn die Sanierung nicht mehr möglich ist. Denn in Art. 65c Abs. 1 BVG findet sich das gleiche - kumulativ zu erfüllende, was die OAK diesbezüglich übrigens nicht anders sieht - Begriffspaar wie in Art. 25 Abs. 1 SFV, einfach mit umgekehrten Vorzeichen: Art. 65c Abs. 1 BVG setzt für die Zulässigkeit einer Unterdeckung und das Fortbestehen der Vorsorgeeinrichtung genügende Liquidität und Sanierungsfähigkeit voraus, während Illiquidität und Sanierungsunfähigkeit gemäss Art. 25 Abs. 1 SFV zu Zahlungsunfähigkeit und Liquidation der Vorsorgeeinrichtung führen (vgl. E. 5 vorne). Damit steht fest, dass hinsichtlich beider Normen nur resp. erst eine von zwei Bedingungen, deren (Nicht-) Erfüllung ein sofortiges Einschreiten erfordern würde, gegeben ist. Mit anderen Worten kann das Vorsorgewerk Rentenkasse B._ unter keinem Titel (der beruflichen Vorsorge) als finanziell am Ende, sondern höchstens als finanziell angeschlagen bezeichnet werden.
6.3. Zusammenfassend definiert sich die Zahlungsunfähigkeit, an welche die Gesetzesbestimmungen die Leistungen des Sicherheitsfonds knüpfen, über zwei kumulative Voraussetzungen. Es kommt nicht allein auf die Sanierungsunfähigkeit, sondern zusätzlich auf die Zahlungsunfähigkeit an (so auch DÜRR/FISCHER, a.a.O., S. 84 sowie MARTA MOZAR/FELIX SCHMID, Lucerna locuta, causa finita? Bringt der Bundesgerichtsentscheid zu Rentnerbeiträgen als Sanierungsmassnahme mehr Klarheit?, in: SZS 2010 S. 69 oben).
7.
7.1. DÜRR/FISCHER ( a.a.O., S. 87) weisen in Bezug auf eine Lage, wie sie sich hier präsentiert (vgl. E. 6.2.2 in fine), darauf hin, dass sich nach der Eröffnung der Liquidation (infolge blosser Sanierungsunfähigkeit) auch eine Zahlungsunfähigkeit im engeren Sinn einstellen werde, da im Rahmen des Liquidationsverfahrens alle Aktiven aus der Vorsorgeeinrichtung austreten (Fälligkeit der Freizügigkeitsleistungen) und ein allfälliger Rentnerbestand auf einen neuen Träger übertragen werde (Fälligkeit des zu übertragenden Rentendeckungskapitals). Aufgrund der Unterdeckung genügten die vorhandenen Mittel nicht zur Deckung aller hierdurch fällig gewordenen Vorsorgeverpflichtungen. Entsprechend wären beide in Art. 25 Abs. 1 und 2 SFV umschriebenen Voraussetzungen erfüllt.
Eine solche "künstlich" ausgelöste Zahlungsunfähigkeit kann bei einer sanierungsunfähigen Rentnerkasse, die immer noch zahlungsfähig ist, zur Vermeidung falscher Anreize insoweit angebracht sein, als es aus ökonomischen Gründen angezeigt ist, mit der Sicherstellung der gesetzlichen und reglementarischen Leistungen nicht bis zum vollständigen Mittelverzehr, d.h. bis sich die Zahlungsunfähigkeit von selber einstellt, zuzuwarten. Solange eine Rentnerkasse die fälligen Leistungen problemlos erbringen kann, was bis zu einem tiefen Deckungsgrad der Fall sein kann (MOZAR/SCHMID, a.a.O., S. 69 unten), bildet der Einwand der fehlenden Zweckerreichung allein keinen überzeugenden Rechtfertigungsgrund für die vorzeitige Aufhebung einer Rentnerkasse.
7.2. Eine andere Frage ist, wann der - in wirtschaftlicher Hinsicht - richtige Zeitpunkt gekommen ist, die (andauernde) finanzielle Leistungsfähigkeit einer sanierungsunfähigen Rentnerkasse vorzeitig zu beenden.
7.2.1. Bei Erlass der Verfügung der BBSA vom 1. Oktober 2014 dauerte die Unterdeckung wohl bereits sieben Jahre an. Deren zulässige Dauer ist gesetzlich aber nicht geregelt (vgl. E. 5.1 vorne). In den bundesrätlichen Weisungen über Massnahmen zur Behebung von Unterdeckungen in der beruflichen Vorsorge vom 27. Oktober 2004 ist von einer Frist zwischen fünf und sieben Jahren die Rede, wobei zehn Jahre nicht überschritten werden sollten (Rz. 226 Abs. 3). Diese Weisung ist für das Gericht nicht verbindlich (vgl. Rz. 1 der Weisungen). Dazu kommt, dass ein starres und schematisches Abstellen auf eine begrenzte resp. maximale Dauer der Unterdeckung der Auflösung einer Rentnerkasse nicht gerecht wird. Dies gilt insbesondere, wenn das fragliche Versichertenkollektiv (wie hier) keine Liquiditätsengpässe aufweist und seinen Verpflichtungen stets fristgerecht nachkommt (vgl. E. 4.3 vorne), so dass es für die Herbeiführung der Zahlungsunfähigkeit eines Kunst (ein) griffs bedarf (vgl. E. 7.1 vorne), damit der Sicherheitsfonds in Aktion treten kann (vgl. E. 6.3 vorne).
7.2.2. Im vorliegenden Stadium (vgl. E. 6.2.2 in fine) stehen sich verschiedene Interessen gegenüber: Einerseits diejenigen der Versicherten, die keine (vorzeitige) Auflösung wollen, weil sie eine Kürzung ihrer Rentenleistungen befürchten, denn die Sicherstellung der reglementarischen Leistungen unterliegt einer Obergrenze (Art. 56 Abs. 2 BVG). Anderseits diejenigen des Sicherheitsfonds bzw. der Solidargemeinschaft, welche etwaige Insolvenzzahlungen möglichst minimieren wollen, da sie durch Beiträge aller Vorsorgeeinrichtungen, die dem FZG unterstellt sind, finanziert werden (Art. 14 Abs. 1bis SFV). Einen Leitfaden, wann es im Spannungsfeld dieser divergierenden Interessen angebracht ist, vor dem Verbrauch sämtlicher Stiftungsmittel einzuschreiten, gibt es nicht. Zwar können gewisse Kriterien als Gradmesser dienen. DANIEL DÜRR (Sicherheitsfonds BVG, Insolvenzleistungen bei Zahlungsunfähigkeit, in: Schweizer Personalvorsorge 2013 Heft 1 S. 53 f.) nennt in erster Linie die Kleinheit des (Rest-) Bestandes, den (generellen oder dadurch bedingten) übermässigen Anstieg der Kosten pro Rentner und das stärkere Gewicht der allgemeinen administrativen Aufgaben. Als weiteren Grund für eine frühzeitige Intervention wird die kontinuierliche Annäherung an einen bestimmten Deckungsgrad oder das Unterschreiten eines solchen erwähnt. DÜRR (a.a.O., S. 54) spricht diesbezüglich von einer Limite von 70 %, ohne diesen Wert näher zu begründen.
Dem ist jedenfalls beizufügen, dass es nicht ausreicht, die (aktuelle) Ist-Situation wiederzugeben. Vielmehr sind die Entwicklungen der einzelnen Faktoren, insbesondere diejenigen des Rentnerbestandes und des damit jeweils einhergehenden administrativen Aufwandes, aufzuzeigen. Zu berücksichtigen ist zudem der Umstand, dass die bestehende Verwaltung die konkreten Verhältnisse der einzelnen Destinatäre besser kennt und ihr insoweit grundsätzlich ein effizienteres Handeln zu attestieren ist.
7.2.3. Alle diese Elemente vermögen jedoch nicht in den Hintergrund zu drängen, dass es letztlich stets auf die konkreten Gegebenheiten des Einzelfalles ankommt.
8.
8.1. Die Vorinstanz hat in ihrem Entscheid vom 12. Juli 2016 einlässlich dargelegt, weshalb auch bei vorsichtiger Prognose davon auszugehen sei, dass die Verpflichtungen gegenüber den Anspruchsberechtigten des Vorsorgewerkes Rentenkasse B._ noch längerfristig uneingeschränkt erbracht werden können, mithin die streitige Anordnung verfrüht sei. Sie hat unter anderem darauf hingewiesen, dass sich der Deckungsgrad stets über 85 % befand, obwohl keine gesetzlich vorgesehenen Sanierungsmassnahmen ergriffen werden konnten. Auch hat sie der Entwicklung des - gemäss Aktenlage noch erheblichen - Rentnerbestandes (Anstieg der Lebenserwartung von Anspruchsberechtigten, Sterbewahrscheinlichkeit von Invaliden und Verwitweten) Rechnung getragen und die entsprechenden technischen Grundlagen aufgeführt. Ferner hat sie festgestellt, dass Rückstellungen für den Grundlagenwechsel geäufnet wurden.
8.2. Die OAK setzt sich mit dem in der vorinstanzlichen Erwägung 4.3.2 (des Entscheides vom 12. Juli 2016) Dargelegten, wenn überhaupt, lediglich pauschal auseinander. Sie legt vor allem ihre eigene Sicht der Dinge dar, ohne vertieft auf die einzelnen Argumente des Bundesverwaltungsgerichts einzugehen. Ihre Beschwerde genügt in diesem Punkt den Begründungsanforderungen gemäss Art. 42 Abs. 2 BGG nicht (BGE 133 II 249 E. 1.4.1 S. 254; vgl. statt vieler auch Urteil 1B_1/2017 vom 7. März 2017 E. 1.2).
8.3. Der Sicherheitsfonds erachtet das vom Bundesverwaltungsgericht in E. 4.3.2 des Entscheides vom 12. Juli 2016 (vgl. den Verweis darauf in E. 3.2 des Entscheides vom 25. August 2016) Aufgeführte als irrelevant, weil sich damit keine Sanierung des Vorsorgewerkes realisieren lasse. Entgegen seiner Ansicht können Sanierungsunfähigkeit und Zahlungsunfähigkeit indessen nicht gleichgesetzt werden (vgl. E. 6.3 vorne). Hier geht es nicht um Erstere, sondern um Letztere. Dass sich das Vorsorgewerk Rentenkasse B._ nicht mehr sanieren lässt, steht fest (vgl. E. 4.3 vorne). Es sind Argumente gefragt, die eine zwangsweise Aufhebung des Vorsorgewerkes Rentenkasse B._ trotz dessen anhaltender Liquidität rechtfertigen (vgl. E. 7.2 vorne). In der Beschwerde fehlen substanziierte und dokumentierte Erörterungen, die den Verlauf der verschiedenen Faktoren im hier massgebenden Zeitraum (vgl. E. 4.3 vorne) nachzeichnen und die vorinstanzliche Sichtweise als wirklichkeitsfern erscheinen lassen.
8.4. Bei dieser Sach- und Rechtslage ist die Beschwerde der OAK abzuweisen. Dies gilt umso mehr, als sie die vom Bundesverwaltungsgericht aufgezählten milderen Mittel, die in concreto zur Verfügung stehen (vgl. vorinstanzliche Erwägung 4.3.2.5 Abs. 2 des Entscheides vom 12. Juli 2016), als solche nicht anficht.
Gleichzeitig steht fest, dass das Bundesverwaltungsgericht auch die Verfügung des Sicherheitsfonds vom 13. November 2014 zu Recht aufgehoben hat, weil dieser gleichermassen verfrüht seine Leistungspflicht, die erst bei Zahlungsunfähigkeit des Vorsorgewerkes Rentenkasse B._ einsetzt, angenommen hat. Die von der Vorinstanz aus diesem Umstand gezogene Konsequenz, dass kein Raum für einen Eintritt in die Verantwortlichkeitsansprüche gemäss Art. 56a BVG offensteht, ist ebenfalls unangefochten geblieben. Weiterungen zu den formellen Aspekten des Verfahrens 9C_667/2016, insbesondere ob bezüglich eines Versichertenkollektivs ein formeller Aufhebungsakt erforderlich ist oder der Sicherheitsfonds bei Vorsorgewerken ohne Vorentscheid der Aufsichtsbehörde Leistungen sicherstellen kann (Art. 24 Abs. 2 SFV ist dem Wortlaut nach auf Vorsorgeeinrichtungen beschränkt [vgl. E. 5.3 vorne]), erübrigen sich daher. Die Beschwerde des Sicherheitsfonds ist abzuweisen.
9.
Es sind keine Kosten geschuldet. Ebenso wenig ist eine Parteientschädigung zuzusprechen (Art. 66 Abs. 4 und Art. 68 Abs. 4 BGG).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Verfahren 9C_612/2016 und 9C_667/2016 werden vereinigt.
2.
Die Beschwerden der Oberaufsichtskommission Berufliche Vorsorge OAK BV (Verfahren 9C_612/2016) und der Stiftung Sicherheitsfonds BVG (Verfahren 9C_667/2016) werden abgewiesen.
3.
Es werden keine Gerichtskosten erhoben.
4.
Es wird keine Parteientschädigung zugesprochen.
5.
Dieses Urteil wird den Parteien, der Bernischen BVG- und Stiftungsaufsicht (BBSA), dem Bundesverwaltungsgericht und dem Bundesamt für Sozialversicherungen schriftlich mitgeteilt.
Luzern, 16. Mai 2017
Im Namen der II. sozialrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Die Präsidentin: Pfiffner
Die Gerichtsschreiberin: Dormann


facts:
Sachverhalt:
A.
Die C._ GmbH war als Totalunternehmerin mit dem Neubau der Notstromversorgung des Kernkraftwerks U._ beauftragt. Die Bauten waren unter anderem auf Liegenschaften zu realisieren, die im Eigentum der B._ AG stehen. Die C._ GmbH zog die D._ GmbH für die Planung, Lieferung, Montage und Inbetriebnahme der Brandmeldeanlagen und Löscheinrichtungen bei, welche ihrerseits gewisse Leistungen an die A._ AG vergab.
Auf Gesuch der A._ AG ordnete der Präsident des Handelsgerichts des Kantons Aargau superprovisorisch die vorläufige Eintragung eines Bauhandwerkerpfandrechts auf dem Grundstück der B._ AG, GB V._ Nr. xxx, für den Betrag von Fr. 397'966.50 zuzüglich Zins zu 5 % auf Fr. 273'118.50 ab 13. Januar 2015 und 5 % auf Fr. 124'848.-- ab 17. Februar 2015 an (Verfügung vom 24. Februar 2015).
Mit Verfügung vom 1. April 2015 bestätigte der Präsident des Handelsgerichts vorsorglich die superprovisorisch verfügten Anordnungen und setzte der A._ AG Frist zur Klage auf definitive Eintragung des Bauhandwerkerpfandrechts. Die von der B._ AG dagegen erhobene Beschwerde wies das Bundesgericht ab, soweit es darauf eintrat (Urteil 5A_327/2015 vom 17. Juni 2015).
B.
Am 10. Juli 2015 klagte die A._ AG vor dem Handelsgericht des Kantons Aargau gegen die B._ AG auf definitive Eintragung des Bauhandwerkerpfandrechts.
Die C._ GmbH reichte mit Eingabe vom 3. September 2015 eine Bankgarantie der E._ SA ein mit den Begehren, es sei festzustellen, dass damit hinreichende Sicherheit im Sinne von Art. 839 Abs. 3 ZGB für die zur Eintragung des Bauhandwerkerpfandrechts angemeldete Forderung geleistet sei, und das provisorisch eingetragene Bauhandwerkerpfandrecht sei zu löschen. Sie beantragte weiter, an Stelle der B._ AG in den Prozess einzutreten, eventuell auf deren Seite als Nebenintervenientin zugelassen zu werden.
Mit Verfügung vom 25. September 2015 schrieb der Präsident des Handelsgerichts das Verfahren hinsichtlich der definitiven Eintragung des Bauhandwerkerpfandrechts zufolge Gegenstandslosigkeit ab (Dispositiv-Ziff. 1), stellte fest, dass die eingereichte Bankgarantie als hinreichende Sicherheit gemäss Art. 839 Abs. 3 ZGB gelte und an die Stelle des provisorisch eingetragenen Bauhandwerkerpfandrechts trete (Dispositiv-Ziff. 2), und wies die Obergerichtskasse an, die Bankgarantie nur gestützt auf ein rechtskräftiges Urteil bzw. entsprechendes Surrogat hin freizugeben (Dispositiv-Ziff. 3). Ferner wies er das zuständige Grundbuchamt an, das provisorisch eingetragene Bauhandwerkerpfandrecht nach Eintritt der formellen Rechtskraft seines Entscheids zu löschen (Dispositiv-Ziff. 4). Ausserdem wurde die C._ GmbH als Nebenintervenientin zugunsten der B._ AG zugelassen (Dispositiv-Ziff. 5) und Frist zur Erstattung einer Klageantwort angesetzt (Dispositiv-Ziff. 6).
C.
Die A._ AG (fortan: Beschwerdeführerin) hat am 19. Oktober 2015 Beschwerde an das Bundesgericht erhoben. Sie beantragt, die Dispositiv-Ziff. 1-4 der Verfügung vom 25. September 2015 seien aufzuheben, es sei festzustellen, dass die von der C._ GmbH eingereichte Bankgarantie nicht als hinreichende Sicherheit gemäss Art. 839 Abs. 3 ZGB gelte, und das Handelsgericht sei anzuweisen, das ordentliche Verfahren betreffend definitive Eintragung eines Bauhandwerkerpfandrechts weiterzuführen.
Mit Verfügung vom 11. November 2015 hat der Präsident der urteilenden Abteilung der Beschwerde die aufschiebende Wirkung erteilt.
Die B._ AG (fortan: Beschwerdegegnerin) und die C._ GmbH (fortan: Nebenintervenientin) haben am 20. bzw. 21. Juli 2016 zur Beschwerde Stellung genommen. Das Handelsgericht hat auf Vernehmlassung und die Beschwerdeführerin auf Bemerkungen zu den Stellungnahmen der Beschwerdegegnerin und der Nebenintervenientin verzichtet.

considerations:
Erwägungen:
1.
1.1. Die angefochtene Verfügung betrifft die Leistung einer Sicherheit im Sinne von Art. 839 Abs. 3 ZGB und damit eine Zivilsache (Art. 72 Abs. 1 BGG) in einer vermögensrechtlichen Angelegenheit, deren Streitwert den gesetzlichen Mindestbetrag überschreitet (Art. 74 Abs. 1 lit. b BGG; Urteil 5A_626/2015 vom 22. April 2016 E. 4). Sie ist kantonal letztinstanzlich (Art. 75 Abs. 2 lit. b BGG) und lautet zum Nachteil der Beschwerdeführerin, deren Klagebegehren sie teilweise als gegenstandslos abschreibt (Art. 76 Abs. 1 BGG). Die Abschreibungsverfügung ist gestützt auf Art. 242 ZPO ergangen und unterliegt im Gegensatz zum Abschreibungsbeschluss nach Vergleich, Klageanerkennung oder Klagerückzug (Art. 241 ZPO) grundsätzlich der Beschwerde in Zivilsachen (Urteile 5A_410/2015 vom 9. Juni 2015 E. 1 und 4A_272/2014 vom 9. Dezember 2014 E. 1).
1.2.
1.2.1. Gemäss Art. 839 Abs. 3 ZGB kann die Eintragung des Bauhandwerkerpfandrechts nicht verlangt werden, wenn der Eigentümer für die angemeldete Forderung hinreichende Sicherheit leistet. Die Sicherheit kann während des Verfahrens auf provisorische oder definitive Eintragung des Bauhandwerkerpfandrechts geleistet werden. Wird die Sicherheit als hinreichend anerkannt, fällt der Anspruch auf Eintragung des Bauhandwerkerpfandrechts dahin. Das Verfahren geht nunmehr auf definitive Bestellung der Sicherheit und hat die Frage zum Gegenstand, ob und bis zu welchem Betrag die gestellte Sicherheit haftet (BGE 110 II 34 E. 1b S. 36; Urteil 4A_449/2015 vom 16. Dezember 2015 E. 3.1 und E. 3.3, zusammengefasst in: BR 2016 S. 179 f.; je mit Hinweisen auf DIETER ZOBL, Das Bauhandwerkerpfandrecht de lege lata und de lege ferenda, ZSR NF 101/1982 II S. 161/162, und PAUL-HENRI STEINAUER, Les droits réels, T. III, 4. Aufl. 2012, S. 315 N. 2885b).
1.2.2. Wird die Sicherheit während des Verfahrens auf provisorische Eintragung des Bauhandwerkerpfandrechts geleistet und als hinreichend anerkannt, ist das Verfahren insgesamt als gegenstandslos abzuschreiben, eine allenfalls superprovisorisch angeordnete Eintragung des Bauhandwerkerpfandrechts im Grundbuch zu löschen und Frist zur Klage auf definitive Bestellung der Sicherheit anzusetzen. Die Abschreibung des Verfahrens bedeutet eine Verweigerung der provisorischen Eintragung des Bauhandwerkerpfandrechts. Sie ist Endentscheid im Sinne von Art. 90 BGG und vorsorgliche Massnahme im Sinne von Art. 98 BGG (Urteil 5A_233/2015 vom 7. September 2015 E. 1 und E. 2, in: SJZ 111/2015 S. 559 f. Nr. 3).
1.2.3. Wird die Sicherheit - wie im vorliegenden Fall - während des Verfahrens auf definitive Eintragung des Bauhandwerkerpfandrechts geleistet und als hinreichend anerkannt, ist das Verfahren teilweise, d.h. nur mit Bezug auf das Begehren um definitive Eintragung des Bauhandwerkerpfandrechts, als gegenstandslos abzuschreiben. Das Verfahren wird auf definitive Bestellung der Sicherheit weitergeführt. Aufgrund der gesetzlichen Regelung ist die Abschreibungsverfügung als Teilentscheid im Sinne von Art. 91 lit. a BGG anfechtbar. Es wird gleichsam das Hauptbegehren um definitive Eintragung des Bauhandwerkerpfandrechts wegen Leistung hinreichender Sicherheit als gegenstandslos abgeschrieben, so dass nunmehr das für diesen Fall gestellte Eventualbegehren auf definitive Bestellung der Sicherheit zu beurteilen ist (vgl. zum Teilentscheid bei eventueller objektiver Klagenhäufung: BGE 135 III 212 E. 1.2 S. 216 ff.). Die Abschreibungsverfügung erledigt den Anspruch auf definitive Eintragung des Bauhandwerkerpfandrechts zudem endgültig, ohne den Entscheid darüber in einem Hauptverfahren vorzubehalten. Sie ist deshalb keine vorsorgliche Massnahme im Sinne von Art. 98 BGG, wie die Beschwerdegegnerin und die Nebenintervenientin glauben (BGE 133 III 589 E. 1 S. 590; 135 III 430 E. 1.1 S. 431; 141 III 564 E. 4.2.2 S. 568). Dass gleichzeitig die Löschung des provisorisch eingetragenen Bauhandwerkerpfandrechts im Grundbuch angeordnet wird, ist blosse Nebenfolge der Abschreibung des Hauptbegehrens auf definitive Eintragung des Bauhandwerkerpfandrechts (vgl. Art. 268 Abs. 2 ZPO). Alle Rügen gemäss Art. 95 f. BGG sind somit zulässig.
1.3. Auf die - im Weiteren fristgerecht (Art. 100 Abs. 1 BGG) erhobene - Beschwerde kann eingetreten werden.
2.
Die Nebenintervenientin führt aus, das Grundstück der Beschwerdegegnerin sei unpfändbares Verwaltungsvermögen im Sinne von Art. 839 Abs. 4-6 ZGB, denn die Beschwerdegegnerin sei eine 100%-ige Tochtergesellschaft der F._ Holding AG, deren Aktien sich zu 100 % in der Hand der Nordostschweizer Kantone bzw. der Kantonswerke befänden. Zudem betreibe die Beschwerdegegnerin auf dem pfandbelasteten Grundstück das Kernkraftwerk U._. Das Grundstück diene einzig der Elektrizitätsherstellung und damit durch seinen unmittelbaren, zweckbestimmten Gebrauch der Erfüllung öffentlicher Aufgaben; daher stelle das Grundstück Verwaltungsvermögen dar. Ausserdem hänge die Bestellung eines Pfandrechts auf einem Grundstück auch davon ab, ob ein solches Grundstück zwangsverwertet werden könne. Da sich ein Kernkraftwerk darauf befinde, sei das Grundstück in einer Zwangsvollstreckung nicht verwertbar.
Mit diesen Argumenten führt die Nebenintervenientin Sachverhaltselemente in den Prozess ein, die sich nicht aus der angefochtenen Verfügung ergeben; sie sind neu und daher unbeachtlich (Art. 99 Abs. 1 BGG; BGE 139 II 7 E. 4.2 S. 12). Wegen fehlender Tatsachengrundlage kann das Bundesgericht nicht auf den Einwand der Unpfändbarkeit des Grundstückes eingehen.
3.
Streitig ist, ob die von der Nebenintervenientin eingereichte Bankgarantie im Sinne von Art. 839 Abs. 3 ZGB hinreichend Sicherheit bietet. Die Bankgarantie hat folgenden Inhalt:
3.1. Laut Bankgarantie verpflichtet sich die E._ SA unwiderruflich im Namen von C._ GmbH (Garantieauftraggeberin) auf erste Aufforderung hin und unter Verzicht auf jegliche Einreden und Einwendungen, A._ AG (Klägerin) den rechtskräftig zugesprochenen Betrag zu bezahlen, bis zu einer Höhe von Fr. 397'966.50 zuzüglich Zins zu 5 % auf Fr. 273'118.50 ab 13. Januar 2015 und bis maximal 31. August 2025 und zuzüglich Zins zu 5 % auf Fr. 124'848.-- ab 17. Februar 2015 und bis maximal 31. August 2025.
3.2. Im Zeitpunkt der Beanspruchung der Bankgarantie hat die Klägerin ein rechtskräftiges Urteil oder einen gerichtlich genehmigten Vergleich des zuständigen Gerichts, das bzw. der die D._ GmbH (Schuldnerin) zu einer Zahlung über einen darin bestimmten Betrag an die Klägerin im Zusammenhang mit dem Werkvertrag verpflichtet, zusammen mit einer Rechtskraftbescheinigung vorzulegen, sodann den Nachweis zu erbringen, dass die Schuldnerin diesen Betrag trotz Aufforderung der Klägerin nicht bezahlt hat, und eine schriftliche Abtretungserklärung für alle Forderungen der Klägerin gegen die Schuldnerin im Zusammenhang mit dem Werkvertrag zugunsten der Garantieauftraggeberin abzugeben.
3.3. Nach ihrem Wortlaut ist die Bankgarantie gültig bis zum 31. Dezember 2016 und verlängert sich automatisch für jeweils ein Jahr bis das Urteil bzw. der gerichtlich genehmigte Vergleich rechtskräftig ist. Sie erlischt 120 Kalendertage nach Eintritt der Rechtskraft des Urteils bzw. des gerichtlich genehmigten Vergleichs.
4.
Die Beschwerdeführerin beanstandet zunächst, die Beschränkung der Garantie des Zinses auf den 31. August 2025 (E. 3.1 oben).
4.1. Das Handelsgericht erwog, es gälten nicht bloss zeitlich unbefristete Sicherheiten für grundsätzlich unbefristet laufende Verzugszinsen als hinreichend im Sinne von Art. 839 Abs. 3 ZGB. Nach seiner eigenen Praxis gelte bezüglich der Verzugszinsen eine Sicherstellungspflicht für die Dauer von zehn Jahren als hinreichend. Mit Blick auf den Zweck der Garantie könne nicht erwartet werden, dass der Zinsenlauf unbeschränkt gesichert werde. Da im Normalfall ein Verfahrensabschluss innert zehn Jahren möglich sein dürfte, sei die Sicherstellung eines Jahreszinses von zehn Jahren genügend und die Begrenzung bis zum 31. August 2025 zulässig (E. 1.1 und E. 1.2.1 der angefochtenen Verfügung).
4.2. Die Beschwerdeführerin führt aus, grundsätzlich habe sie Anspruch auf Verzugszinsen bis zum Zeitpunkt der Bezahlung der Schuld und das Bauhandwerkerpfandrecht diene auch als Sicherheit für alle verfallenen Zinsen, nicht nur diejenigen, die bis am 31. August 2025 anfallen. Insofern könne die Bankgarantie nicht als hinreichende Sicherheit im Sinne von Art. 839 Abs. 3 ZGB gelten; die Praxis des Handelsgerichts sei bundesrechtswidrig.
4.3. Die Beschwerdegegnerin und die Nebenintervenientin bestreiten grundsätzlich, dass die Ersatzsicherheit auch die ohne zeitliche Beschränkung pfandberechtigten Verzugszinsen decken müsse. Nebst der Wiederholung der vom Handelsgericht angeführten Gründe tragen sie vor, der Gläubiger sei in der Zwangsvollstreckung stets dem Risiko ausgesetzt, dass das Pfand die Pfandsumme nicht oder nur teilweise decke.
4.4. Der Grundeigentümer kann die - provisorische oder definitive - Eintragung eines Bauhandwerkerpfandrechts verhindern, indem er eine "hinreichende Sicherheit" ("sûretés suffisantes", "sufficiente garanzia") leistet (Art. 839 Abs. 3 ZGB).
4.4.1. Die am 1. Januar 2012 in Kraft getretene Fassung des Art. 839 ZGB (AS 2011 4637, 4645 und 4658) hat in Abs. 3 betreffend Sicherheitsleistung den gleichen Wortlaut wie der Abs. 3 der bis zum 31. Dezember 2011 gültigen Version dieses Artikels. Folglich kann in dieser Hinsicht auf die unter dem alten Recht ergangene Rechtsprechung abgestellt werden.
4.4.2. Damit eine Ersatzsicherheit als "hinreichend" gelten kann, muss sie qualitativ und quantitativ die gleiche Sicherheit bieten wie das Bauhandwerkerpfandrecht (BGE 121 III 445 E. 5a S. 447; 110 II 34 E. 1b; 97 I 209 E. 2 S. 215). In quantitativer Hinsicht bietet das Bauhandwerkerpfandrecht dem Gläubiger Sicherheit für die Kapitalforderung (Art. 818 Abs. 1 Ziff. 1 ZGB) und die Verzugszinsen (Art. 818 Abs. 1 Ziff. 2ZGB), allenfalls für die Vertragszinsen (Art. 818 Abs. 1 Ziff. 3ZGB). Die Verzugszinsen sind ihrerseits zeitlich nicht limitiert (Art. 104 OR). Dementsprechend muss auch die Ersatzsicherheit hinsichtlich der Verzugszinsen eine zeitlich bzw. quantitativ nicht limitierte Sicherheit bieten (BGE 121 III 445 E. 5a S. 447).
4.4.3. Die Überlegung des Handelsgerichts, mit Blick auf den Zweck der Garantie könne nicht erwartet werden, dass der Zinsenlauf unbeschränkt gesichert werde, ist weder auf eine doktrinale Meinungsäusserung abgestützt noch nachvollziehbar. Sollte es sich an die von Rainer Schumacher (in: Das Bauhandwerkerpfandrecht, 3. Aufl. 2008, Rz. 1257) gemachten Ausführungen anlehnen, wo der Autor auf mögliche Schwierigkeiten der Banken hinweist, Verzugszinsen auf unbestimmte Zeit zu garantieren, kommt jener zum Schluss, dass "gelegentlich deswegen eine Sicherheitsleistung, die Art. 839 Abs. 3 ZGB entspricht, nicht zustande" komme, es den Parteien jedoch frei stehe, sich über den konkreten Inhalt der Sicherheitsleistung zu einigen. Hier steht nicht der Zweck der Garantie zur Debatte, sondern stellt sich die Frage, ob eine Ersatzsicherheit an die Stelle des gesetzlichen Pfandrechts zu treten vermag, was nur dann der Fall ist, wenn sie qualitativ und quantitativ die gleiche Deckung bietet wie das gesetzliche Pfandrecht. Eine Bankgarantie, die zwar den Kapitalbetrag, nicht aber die zeitlich unlimitiert geschuldeten Verzugszinsen abdeckt, erfüllt die Anforderungen an eine hinreichende Sicherheit nicht. Ob der Prozess in der Hauptsache "nach menschlichem Ermessen" (so die Beschwerdegegnerin) oder "mit an Sicherheit grenzender Wahrscheinlichkeit" (so die Nebenintervenientin) innert der garantierten Frist endgültig entschieden werden könnte, ändert an diesem rechtlichen Befund nichts (vgl. zur Praxis: CHRISTIAN PRAPLAN, L'hypothèque légale des artisans et entrepreneurs: Mise en oeuvre judiciaire, JdT 158/2010 II 37, S. 57 Ziff. 8.2).
4.5. Mit ihrer zeitlichen Beschränkung für die Verzugszinsen auf den 31. August 2025 erfüllt die Bankgarantie die Anforderungen an eine "hinreichende Sicherheit" im Sinne von Art. 839 Abs. 3 ZGB nicht. Die weiteren Vorbringen der Beschwerdegegnerin und der Nebenintervenientin vermögen nichts daran zu ändern, dass sich die angefochtene Verfügung in diesem Punkt als bundesrechtswidrig und die Beschwerde entsprechend als begründet erweist.
5.
Ferner beanstandet die Beschwerdeführerin die Vorgabe, wonach die Garantie jeweils nur bis am 31. Dezember jeden Jahres gültig sei und 120 Kalendertage nach Eintritt der Rechtskraft des die Schuldnerin verurteilenden Urteils bzw. des gerichtlich genehmigten Vergleichs erlösche.
5.1. Das Handelsgericht erwog, eine relative Befristung der Gültigkeitsdauer der Garantie sei zulässig, solange der Gläubiger nach Eintritt bestimmter Ereignisse innerhalb einer angemessenen Reaktionsfrist die Sicherheit wirksam beanspruchen kann. Ebenso zulässig seien Modalitäten, welche der Rechtssicherheit des Grundeigentümers bzw. des Sicherheitsgebers dienen, wenn diese zweck- und verhältnismässig seien. Vorliegendenfalls sei die Frist von 120 Tagen zur Geltendmachung der Garantie nicht zu beanstanden. Dies gelte auch in Kombination mit dem Umstand, dass die Garantie jeweils nur für ein Jahr gültig sei. Selbst wenn ein für die Beschwerdeführerin günstiger Entscheid erst am 17. Dezember eines laufenden Jahres gefällt werde, habe jene unter Berücksichtigung der Rechtsmittelfrist und der Gerichtsferien (Art. 46 Abs. 1 lit. c BGG) noch hinreichend Zeit, bei der garantierenden Bank vorstellig zu werden (E. 1.2.2 der angefochtenen Verfügung).
5.2. Die Beschwerdeführerin führt aus, das gesetzliche Pfandrecht sichere ihr letztlich ein Verwertungsrecht am belasteten Grundstück zu. Das Gesetz auferlege dem Gläubiger keine Frist, innert welcher jener die Grundpfandverwertung verlangen müsse. Demgegenüber sei die als Ersatzsicherheit angebotene Bankgarantie nach Datum und damit absolut befristet, weshalb sie keine hinreichende Sicherheit im Sinne von Art. 839 Abs. 3 ZGB darstelle. Zulässig sei allenfalls eine Befristung, welche von einem oder mehreren zukünftigen Ereignissen abhängig und kalendermässig unbestimmt sei (z.B. Gültigkeit der Bankgarantie bis maximal 120 Tage nach Vorliegen eines rechtskräftigen Urteils); unzulässig sei demgegenüber eine kalendermässige Befristung. Daher dürfe die Gültigkeitsdauer nicht auf den 31. Dezember eines jeweiligen Jahres befristet werden. Wenn das Urteil gegen die Schuldnerin am 17. Dezember rechtskräftig würde, verblieben ihr (der Beschwerdeführerin) nur noch vierzehn anstelle von 120 Tagen, um die Bankgarantie in Anspruch zu nehmen und die weiteren Bedingungen, namentlich die Rechtskraftbescheinigung einzuholen und die schriftliche Abtretungserklärung abzugeben.
5.3. Die Beschwerdegegnerin und die Nebenintervenientin schliessen sich im Wesentlichen den Argumenten des Handelsgerichts an.
5.4. Die Beschwerdeführerin spricht einen Teilgehalt der qualitativen Gleichwertigkeit der Ersatzsicherheit an. Lehre und kantonale Rechtsprechung sind sich darin einig, dass eine absolut befristete Sicherheitsleistung (Beschränkung der Gültigkeit bis zu einem bestimmten Datum oder während einer bestimmten Zeit ab Ausstellung) keine hinreichende Sicherheit im Sinne von Art. 839 Abs. 3 ZGB ist (Schumacher, a.a.O., Rz. 1260 mit Hinweisen). Demgegenüber sei eine relative Befristung, d.h. eine solche, deren Ende von einem oder mehreren zukünftigen Ereignissen abhängt, zulässig, wenn das Ende der Gültigkeitsdauer kalendermässig unbestimmt ist und bis zum Eintritt des oder der Ereignisse unbestimmbar bleibt. Zudem müsse es dem Unternehmer möglich sein, nach Eintritt des bestimmten Ereignisses innerhalb einer angemessenen Reaktionsfrist die Sicherheit rechtswirksam für sich zu beanspruchen (Schumacher, a.a.O., Rz. 1261; PRAPLAN, a.a.O., S. 57 Ziff. 8.2: "un délai de quelques mois courant dès l'entrée en force du jugement"). Einwendungen des Unternehmers gegen derartige und damit zulässige Befristungen, namentlich unter Berufung auf die unbefristete Eintragung von Baupfandrechten im Grundbuch, stehen unter dem Vorbehalt offenbaren Rechtsmissbrauchs (Schumacher, a.a.O., Rz. 1262).
5.5.
5.5.1. Die geleistete Bankgarantie sieht zwei Befristungen vor. Sie ist bis zum 31. Dezember 2016 gültig, verlängert sich aber automatisch um jeweils ein Jahr, solange das die Schuldnerin zur Bezahlung der Forderungssumme verpflichtende Urteil bzw. der gerichtlich genehmigte Vergleich nicht rechtskräftig ist. Ausserdem ist die Garantie innert 120 Kalendertagen nach Eintritt der Rechtskraft des Urteils bzw. des gerichtlich genehmigten Vergleichs zu beanspruchen (E. 3.3 oben).
5.5.2. Um die Bankgarantie rechtswirksam für sich zu beanspruchen, muss die Beschwerdeführerin innert 120 Tagen ein rechtskräftiges Urteil oder einen gerichtlich genehmigten Vergleich des zuständigen Gerichts, das bzw. der die Schuldnerin zu einer Zahlung über einen darin bestimmten Betrag an die Klägerin im Zusammenhang mit dem Werkvertrag verpflichtet, und eine Rechtskraftbescheinigung vorlegen, den Nachweis erbringen, dass die Schuldnerin diesen Betrag trotz Aufforderung der Klägerin nicht bezahlt hat, und eine schriftliche Abtretungserklärung für alle Forderungen der Klägerin gegen die Schuldnerin im Zusammenhang mit dem Werkvertrag zugunsten der Garantieauftraggeberin abgeben (E. 3.2 oben).
5.5.3. Mit der Beschwerdeführerin ist festzuhalten, dass eine Frist von 120 Kalendertagen seit Eintritt der Rechtskraft des die Schuldnerin zur Zahlung verpflichtenden Urteils (bzw. des entsprechenden gerichtlich genehmigten Vergleichs) die Interessen der Beschwerdeführerin genügend wahren würde, so dass eine dergestalt formulierte Ersatzsicherheit hinreichend wäre. Gegen die jährliche - und damit absolute - Befristung verbunden mit einer laufenden Erneuerung der Garantie für ein Jahr, solange kein rechtskräftiges Urteil vorliegt, ist unter der Bedingung nichts einzuwenden, dass die 120-tägige Beanspruchungsfrist selbst dann gilt, wenn sie vor Jahresende zu laufen begonnen hat, aber erst im neuen Jahr endet (und sich die Gültigkeitsdauer insofern verlängert). Andernfalls würde der Beschwerdeführerin die ihr zustehende angemessene Reaktionsfrist bundesrechtswidrig verkürzt.
5.5.4. Die vorliegend entscheidende Frage, ob die Frist von 120 Tagen selbst dann gilt, wenn sie vor Jahresende zu laufen begonnen hat, aber erst im neuen Jahr endet, ist in der streitgegenständlichen Bankgarantie nicht ausdrücklich geregelt. Das Handelsgericht scheint die Frage - wie auch die Beschwerdegegnerin (S. 13 Rz. 41) und die Nebenintervenientin (S. 16 Rz. 50) - zu verneinen und erachtet die streitgegenständliche Bankgarantie trotzdem als qualitativ gleichwertig. Es übersieht indes, dass die Beschwerdeführerin für die Beanspruchung der Garantie nicht nur ein rechtskräftiges Urteil vorzulegen hat, sondern noch eine Rechtskraftbescheinigung beschaffen muss und insofern in zeitlicher Hinsicht fremdbestimmt ist. Ausserdem hat die Beschwerdeführerin der Schuldnerin Gelegenheit einzuräumen, gestützt auf das rechtskräftige Urteil zu bezahlen, muss sie doch auch den Nachweis erbringen, dass die Schuldnerin trotz Aufforderung nicht bezahlt hat, was ebenfalls eine gewisse Zeit in Anspruch nimmt. Entgegen der Annahme des Handelsgerichts wird ein am 17. Dezember eröffnetes Urteil auch nicht erst nach Ablauf der um die Gerichtsferien verlängerten Rechtsmittelfrist für die Beschwerde an das Bundesgericht rechtskräftig. Das rechtskräftige Urteil, das die Beschwerdeführerin der Garantiegeberin vorzulegen hat, wird das Ergebnis eines Forderungsprozesses sein, weshalb es sich um ein Leistungsurteil handelt. Beschwerden an das Bundesgericht gegen Leistungsurteile haben von Gesetzes wegen keine aufschiebende Wirkung (Art. 103 Abs. 1 BGG), so dass das kantonale Urteil mit seiner Ausfällung in Rechtskraft erwächst und vollstreckbar ist. Freilich kann das Bundesgericht die Rechtskraft und die Vollstreckbarkeit eines kantonalen Leistungsurteils auf Gesuch hin aufschieben (Art. 103 Abs. 3 BGG). Solange dies nicht geschehen ist, bleibt das kantonale Urteil rechtskräftig und vollstreckbar.
5.5.5. Im schlechtesten Fall, von dem auch das Handelsgericht auszugehen scheint, ist die Bankgarantie so formuliert, dass der Beschwerdeführerin nach der Ausfällung des die Schuldnerin verpflichtenden Leistungsurteils nur wenige Tage verbleiben, um die Garantie in Anspruch nehmen zu können, oder dass die Beschwerdeführerin gar aus Gründen, die sie, weil Dritte mitwirken müssen, nicht zu verantworten hat, die kurze Frist nicht einhalten könnte. Von einer angemessenen Reaktionsfrist als Voraussetzung zulässiger relativer Befristung (E. 5.4 oben) kann somit nicht ausgegangen werden. Aus diesem Grund stellt die streitgegenständliche Bankgarantie auch in qualitativer Hinsicht keine hinreichende Sicherheit im Sinne von Art. 839 Abs. 3 ZGB dar.
6.
Die Beschwerde erweist sich als begründet. Die Dispositiv-Ziff. 1-4 der angefochtenen Verfügung sind aufzuheben. Die Sache muss zur Weiterführung des hängigen Klageverfahrens an das Handelsgericht zurückgewiesen werden. Die Beschwerdegegnerin und die Nebenintervenientin unterliegen; sie sind solidarisch kosten- und entschädigungspflichtig (Art. 66 Abs. 1 und 5 sowie Art. 68 Abs. 1 und 2 BGG; vgl. betreffend Nebenintervention: Art. 69 Abs. 2 BZP i.V.m. Art. 71 BGG).
Das Handelsgericht hat für die Abschreibungsverfügung keine Prozesskosten ausgeschieden und deren Regelung im Endurteil vorbehalten. Es erübrigt sich damit eine Rückweisung zur Neuverlegung der Kosten- und Entschädigungsfolgen des kantonalen Verfahrens.

rulings:
Demnach erkennt das Bundesgericht:
1.
In Gutheissung der Beschwerde werden die Dispositiv-Ziff. 1-4 der Verfügung des Handelsgerichts des Kantons Aargau, Präsident der 1. Kammer, vom 25. September 2015 aufgehoben. Die Sache wird zur Weiterführung des ordentlichen Verfahrens auf definitive Eintragung des Bauhandwerkerpfandrechts gemäss Klage der Beschwerdeführerin vom 10. Juli 2015 an das Handelsgericht zurückgewiesen.
2.
Die Gerichtskosten von Fr. 5'000.-- werden der Beschwerdegegnerin und der Nebenintervenientin unter solidarischer Haftbarkeit auferlegt.
3.
Die Beschwerdegegnerin und die Nebenintervenientin haben unter solidarischer Haftbarkeit die Beschwerdeführerin mit Fr. 6'000.-- zu entschädigen.
4.
Dieses Urteil wird den Parteien, der Nebenintervenientin, dem Handelsgericht des Kantons Aargau, 1. Kammer, und dem Grundbuchamt W._ schriftlich mitgeteilt.
Lausanne, 5. Oktober 2016
Im Namen der II. zivilrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: von Werdt
Der Gerichtsschreiber: von Roten

region: Federation

bge_label: critical


facts:
Sachverhalt:
A.
A.a. Die teilautonome Sammelstiftung B._ erfuhr in den Jahren 2001 bis 2009 eine kontinuierliche Reduktion der Anzahl angeschlossener Betriebe bzw. Destinatäre, ohne dass auf ihrer Stufe je eine Teilliquidation durchgeführt wurde.
A.b. Mit Entscheid vom 6. Oktober 2009 (Verfahren C-2399/2006) stellte das Bundesverwaltungsgericht auf Beschwerde der A._ Sammelstiftung BVG und 46 (recte: 45) Konsorten (vormals der Sammelstiftung B._ angeschlossene Arbeitgeberinnen resp. Destinatäre) in Bezug auf den von ihm zu beurteilenden Zeitraum 2001 bis 2003 fest, dass der Tatbestand der Teilliquidation erfüllt sei. Es wies die Sache an die damalige Aufsichtsbehörde, das Bundesamt für Sozialversicherungen (BSV), zurück, damit dieses für die Einleitung eines Teilliquidationsverfahrens bei der Sammelstiftung B._ sorge. Dem kam das BSV prompt nach (Verfügung vom 2. Dezember 2009).
A.c. Am 29. Juni 2010 reichte die Sammelstiftung B._ beim BSV einen Teilungsplan für eine einzige Teilliquidation basierend auf dem Stichtag 31. Dezember 2009 mit einem zweistufigen Verteilungsplan per 31. Dezember 2003 und 31. Dezember 2009 ein. Sie begründete dieses Vorgehen u.a. mit den in der Zahl der jährlichen Abgänge deutlich unterscheidbaren Perioden 2001 bis 2003 und 2004 bis 2009.
Das BSV lehnte dieses Vorgehen am 14. Dezember 2012 verfügungsweise ab und verlangte im Wesentlichen, dass neun einzelne Teilliquidationen durchzuführen seien, jeweils zum Bilanzstichtag 31. Dezember der Jahre 2001 bis 2009 (Dispositiv Ziffer 1). Ferner seien der Teuerungsfonds, nachdem die daraus entnommenen Mittel zur Finanzierung von Umwandlungssatzdifferenzen bzw. von Beiträgen an den Sicherheitsfonds zurückgeführt worden seien (Dispositiv Ziffer 2.1), sowie die Rückstellungen "für Versicherungen" (Dispositiv Ziffer 2.2), "für Spezialfälle" und "für Unterdeckungen" (Dispositiv Ziffer 2.3) miteinzubeziehen. Zudem seien die Herkunft und Verwendung der "übrigen Rückstellungen" für die Jahre 2001 bis 2004 nachzuweisen; allenfalls zweckwidrig verwendete Mittel seien zurückzuführen und in die Teilliquidationen einfliessen zu lassen (Dispositiv Ziffer 2.4). Für die Jahre 2005 bis 2009 sei auszuweisen, auf welche Konten die per 31. Dezember 2004 auf dem Konto "übrige Rückstellungen" verbuchten Mittel im Rahmen der Umstellung auf Swiss GAAP FER 26 transferiert worden seien; diese Mittel seien gemäss Ziffer 1.2 und 1.3 der Erwägungen in den Verteilplan aufzunehmen (Dispositiv Ziffer 2.5).
Am 18. Dezember 2012 übergab das BSV die Aufsicht an die BVG- und Stiftungsaufsicht des Kantons Zürich (BVS).
B.
B.a. Die gegen die Verfügung des BSV vom 14. Dezember 2012 erhobene Beschwerde der Sammelstiftung B._ wies das Bundesverwaltungsgericht insoweit ab, als diese jeweils per 31. Dezember der Jahre 2001 bis 2009 eine Teilliquidation durchführen muss. Dagegen hiess es die Beschwerde in dem Umfang (teilweise) gut, als der Teuerungsfonds zwar in die Teilliquidationen einzubeziehen ist, die diesem bis zum jeweiligen Stichtag für den Sicherheitsfonds und die Umwandlungssatzdifferenzen entnommenen Mittel jedoch nicht zurückzuführen sind. Betreffend die Dispositiv Ziffern 2.2 bis 2.5 der Verfügung vom 14. Dezember 2012 hiess es die Beschwerde insoweit (teilweise) gut, als eine genauere Überprüfung der Berechnung und der Aufteilung der entsprechenden Reserven erst nach Erstellung der neun Verteilungspläne möglich sein werde (Entscheid vom 8. November 2016 im Verfahren A-565/2013).
B.b. Die Verfügung des BSV vom 14. Dezember 2012 wurde nicht nur von der Sammelstiftung B._ angefochten, sondern auch von der A._ Sammelstiftung BVG und 35 weiteren Parteien. Das Bundesverwaltungsgericht wies deren Beschwerde ab, soweit es - wegen Erweiterung des Streitgegenstandes - darauf eintrat und sie - infolge Rückzugs des Sistierungsantrags - nicht als gegenstandslos geworden abschrieb (rechtskräftiger Entscheid vom 10. November 2016 im Verfahren A-494/2013).
C.
Die A._ Sammelstiftung BVG und 47 Konsorten reichen gegen den Entscheid des Bundesverwaltungsgerichts vom 8. November 2016 Beschwerde in öffentlich-rechtlichen Angelegenheiten ein und beantragen in der Hauptsache, die Sammelstiftung B._ sei zu verpflichten, die Mittel, die sie bis zum jeweiligen Stichtag für die Finanzierung der Beiträge an den Sicherheitsfonds und der Umwandlungssatzdifferenzen aus dem Teuerungsfonds verwendet hat, in diesen zurückzuführen, eventualiter diesem hinzuzurechnen.
Die Sammelstiftung B._ stellt in ihrer Vernehmlassung Antrag auf Abweisung der Beschwerde, soweit darauf einzutreten sei. Die BVS und das BSV verzichten auf eine Stellungnahme. Die A._ Sammelstiftung BVG und 47 Konsorten replizieren zu den Ausführungen der Sammelstiftung B._.

considerations:
Erwägungen:
1.
1.1. Auf Seiten der Beschwerdeführerinnen prozessieren vor Bundesgericht 47 Konsorten. Vor dem Bundesverwaltungsgericht waren im hier interessierenden Verfahren (A-565/2013) 45 Konsorten in den Prozess involviert. Es ist unbestritten, dass die neu dazu gestossenen C._ AG und D._ AG ihr Anschlussverhältnis mit der Sammelstiftung B._ per 31. Dezember 2003 auflösten und sich per 1. Januar 2004 der A._ Sammelstiftung BVG anschlossen. Sie machen geltend, keine Möglichkeit zur Teilnahme am vorinstanzlichen Verfahren erhalten zu haben (vgl. Art. 89 Abs. 1 lit. a BGG), weil die Sammelstiftung B._ sie nie über das Teilliquidationsverfahren informiert habe und sie auch sonst keine Kenntnis davon gehabt hätten. Die Sammelstiftung B._ widerspricht diesem Vorbringen nicht substanziiert, insbesondere führt sie keine Indizien an, die gegen die dargelegte Version sprechen. Die besondere Beziehungsnähe zu der u.a. per 31. Dezember 2003 durchzuführenden Teilliquidation (vgl. E. 2) und das schutzwürdige Interesse an einem möglichst hohen Verteilsubstrat (vgl. Art. 89 Abs. 1 lit. b und c BGG) liegen auf der Hand. Der C._ AG und D._ AG ist daher wie den anderen Konsorten die Beschwerdelegitimation zuzuerkennen (vgl. dazu auch Entscheid des Bundesverwaltungsgerichts C-2399 vom 6. Oktober 2009 E. 3).
1.2. Soweit die Beschwerdeführerinnen integral den Beizug der Akten aus dem Verfahren A-494/2013 beantragen, wird nicht dargetan, inwieweit diese für die Beurteilung des vorliegenden Streits dienlich sind. Die Aktenedition erübrigt sich aber auch angesichts des Verfahrensausganges.
2.
Es ist unangefochten geblieben, dass die Sammelstiftung B._ neun Mal teilliquidiert werden muss, und zwar mit Stichtag jeweils per 31. Dezember der Jahre 2001 bis 2009. Ebenso wenig wird der Grundsatz in Frage gestellt, dass der Teuerungsfonds in die Teilliquidation miteinzubeziehen ist. Streitig und zu prüfen ist im vorliegenden Verfahren allein (vgl. Art. 107 Abs. 1 BGG), ob Gelder des Teuerungsfonds, die im erwähnten Zeitraum bis zum jeweiligen Stichtag für andere Zwecke als für den Ausgleich der Teuerung verwendet wurden, in diesen zurückzuführen sind.
2.1. Gemäss Stiftungsurkunde der Sammelstiftung B._ vom 1. Februar 2002 setzt sich das Stiftungsvermögen aus dem Gemeinschaftsvermögen, den Vermögen der einzelnen ihr angeschlossenen Vorsorgekassen und dem Sondervermögen für die Anpassung der Langzeitrenten an die Teuerung (nachfolgend: Teuerungsfonds) zusammen, wobei dieser durch Sonderbeiträge der Arbeitnehmer und der Unternehmen sowie durch Erträge geäufnet wird (Art. 7 Abs. 1 in Verbindung mit Art. 10).
2.2. Die Vorinstanz hat für das Bundesgericht verbindlich festgestellt (vgl. Art. 105 Abs. 1 und 2 BGG) :
2.2.1. Der Teuerungsfonds war im hier relevanten Zeitraum überdotiert. Ende 2009 belief er sich auf 113,671 Mio. Fr. (zuzüglich Wertschwankungsreserven). In den Jahren zuvor war er noch höher. Diese Überdotierung veranlasste die Sammelstiftung B._, Gelder des Teuerungsfonds zur Finanzierung anderer, nicht teuerungsbedingter Verpflichtungen zu verwenden, einerseits von Umwandlungssatzdifferenzen und anderseits von Beiträgen an den Sicherheitsfonds.
2.2.2. Die teilautonome Lösung der Sammelstiftung B._ zeichnet sich dadurch aus, dass sie bzw. die einzelnen Vorsorgewerke die Deckungen für die Risiken Tod und Invalidität bei schweizerischen Lebensversicherungsgesellschaften, seit 2004 exklusiv bei der E._ AG, einkaufen, während sie das Alterskapital selber anlegen. Erst bei Verwirklichung eines Alters-Risikos kaufen sie sich, ebenfalls bei der E._ AG, eine entsprechende Rente. In Bezug auf den hier massgebenden Zeitraum lag der von der E._ AG offerierte Umwandlungssatz regelmässig unter demjenigen, den die Stiftung gewährte. Dies machte eine Aufstockung des Versicherungskapitals erforderlich, was von 2003 bis 2006 in der Gesamthöhe von rund 28 Mio. Fr. durch Mittelentnahme aus dem Teuerungsfonds geschah. Nachdem die Aufsichtsbehörde dies im Februar 2006 untersagt hatte, wurden entsprechende Reserven separat auf Stufe Vorsorgewerk geäufnet.
2.2.3. In den Jahren 2001, 2002 und 2004 entnahm die Sammelstiftung B._ (weitere) rund 2,5 Mio. Fr. aus dem Teuerungsfonds, mit welchem Geld sie die gesetzlich geschuldeten Beiträge an den Sicherheitsfonds beglich.
2.2.4. Weder die Finanzierung der Umwandlungssatzdifferenzen noch die Beitragszahlungen an den Sicherheitsfonds mit Mitteln des Teuerungsfonds entsprachen dessen reglementarischem (recte: statutarischem) Zweck (vgl. E. 2.1 vorne), was auch der Sammelstiftung B._ im Zeitpunkt der Mittelverwendung bewusst war.
2.3. Gestützt auf den dargelegten Sachverhalt erwog die Vorinstanz sodann, dass die Begleichung der Beiträge an den Sicherheitsfonds ohne Zweifel dem Zweck der beruflichen Vorsorge diente. Mit Blick auf die durchzuführenden Teilliquidationen hätten die Vorsorgewerke dadurch weder einen Vorteil erzielt noch einen Nachteil erlitten. Die Finanzierung sei einfach mit der falschen Kasse erfolgt; die gesetzlich geschuldeten Beiträge hätten so oder anders - auf anderem Weg - bezahlt werden müssen. Für eine Hinzurechnung bestehe daher kein Grund. Gleiches gelte für die Mittelverwendung im Zusammenhang mit den Umwandlungssatzdifferenzen. Die Sammelstiftung B._ habe diese Zahlungen auf Grund der Verträge, die sie mit der E._ AG abgeschlossen habe, und somit im Rahmen ihrer Tätigkeit geleistet. Aus der für die Teilliquidation relevanten Sicht hätten jeweils alle im jeweiligen Zeitpunkt angeschlossenen Kassen profitiert. Müssten die Mittel hinzugerechnet werden, würde dies dazu führen, dass die Vorsorgewerke im Rahmen der Teilliquidation einen doppelten Nutzen hätten: Einmal indem Mittel des Teuerungsfonds für bestehende (vertragliche) Verpflichtungen verwendet wurden, die letztlich von den angeschlossenen Kassen zu tragen gewesen wären, das zweite Mal durch deren Hinzurechnung. Die Beschwerdeführer hätten während des gesamten Verfahrens nicht aufgezeigt, inwiefern ihnen aus der Verwendung der Mittel des Teuerungsfonds ein Schaden entstanden ist bzw. sie im Vergleich zu den anderen Vorsorgewerken benachteiligt worden sein sollen. Die pauschalen Vorbringen, es seien von der Sammelstiftung B._ einzig die Interessen der E._ AG berücksichtigt worden, genügten hierzu nicht.
3.
Die Beschwerdeführerinnen bestreiten zu Recht nicht, dass die Beiträge an den Sicherheitsfonds gesetzlich geschuldet und von der Sammelstiftung B._ zu leisten waren (vgl. Art. 59 Abs. 1 BVG und Art. 12 der Verordnung vom 22. Juni 1998 über den Sicherheitsfonds BVG [SFV; SR 831.432.1]). Indes bringen sie vor, dass die Ausfinanzierung der Renten im überobligatorischen Bereich weder eine gesetzliche noch eine vertragliche Verpflichtung war, sondern freiwillig erfolgte.
3.1.
3.1.1. Die Auslegung des Reglements einer privatrechtlichen Vorsorgeeinrichtung als vorformulierter Inhalt des Vorsorgevertrages geschieht nach dem Vertrauensprinzip. Dabei sind jedoch die den Allgemeinen Versicherungsbedingungen innewohnenden Besonderheiten zu beachten, namentlich die sogenannten Unklarheits- und Ungewöhnlichkeitsregeln. Nach diesen Auslegungsgrundsätzen gilt es, ausgehend vom Wortlaut und unter Berücksichtigung des Zusammenhanges, in dem eine streitige Bestimmung innerhalb des Reglements als Ganzes steht, den objektiven Vertragswillen zu ermitteln, den die Parteien mutmasslich gehabt haben. Dabei hat das Gericht zu berücksichtigen, was sachgerecht ist, weil nicht angenommen werden kann, dass die Parteien eine unvernünftige Lösung gewollt haben (BGE 140 V 50 E. 2.2 S. 51 f. mit Hinweisen).
3.1.2. Das Ergebnis der Auslegung nach dem Vertrauensgrundsatz und in Anwendung der Unklarheits- und Ungewöhnlichkeitsregel kann vom Bundesgericht als Rechtsfrage frei überprüft werden (BGE 140 V 50 E. 2.3 S. 52 mit Hinweisen).
3.2. Was das Jahr 2003 betrifft, so findet das vom 1. Dezember 2001 bis Ende 2003 gültig gewesene Vorsorgereglement der Sammelstiftung B._ (nachfolgend: Reglement 2001) Anwendung. Laut Art. 8 Abs. 5 Reglement 2001 richtet sich die Höhe der jährlichen BVG-Altersrente nach dem jeweiligen Kollektivtarif unter Berücksichtigung des vom Bundesrat vorgeschriebenen gültigen Umwandlungssatzes auf das beim Rücktrittsalter vorhandene BVG-Altersguthaben. Daraus lässt sich - entgegen der Ansicht der Beschwerdeführerinnen - nichts in Bezug auf die Höhe des Umwandlungssatzes im Überobligatorium ableiten. Art. 8 Reglement 2001 fällt unter das Kapitel "Begriffe". Er erklärt, wie auch der unmissverständlichen Artikelüberschrift zu entnehmen ist, ausschliesslich die Berechnung der obligatorischen Leistungen und die Zusammensetzung des diesen zugrunde liegenden BVG-Altersguthabens. Die reglementarischen Leistungen werden dagegen in Art. 26 ff. Reglement 2001 geregelt. Art. 29 Abs. 1 Reglement 2001 statuiert dabei klar, ohne zwischen obligatorischem und überobligatorischem Teil zu unterscheiden ("des [...] vorhandenen Sparkapitals"), dass auf diesem Gesamtbetrag der BVG-Umwandlungssatz gilt: "Der dabei verwendete Umwandlungssatz richtet sich nach Art. 14 BVG". Wie die Sammelstiftung B._ richtig bemerkt, sind solche Verweisungen auf externe Quellen anerkannte Techniken der Vertragsgestaltung. Dass das vorhandene Sparkapital sowohl das BVG-Altersguthaben als auch das Überobligatorium umfasst, ergibt sich auch aus Art. 8 Abs. 4 Reglement 2001: "Das BVG-Altersguthaben ist Bestandteil des Sparkapitals gemäss Art. 26". Von einer freiwilligen Ausfinanzierung kann demnach nicht die Rede sein. Selbst wenn in den Jahren 2001 und 2002 einzig die obligatorischen Altersrenten ausfinanziert wurden, wie die Beschwerdeführerinnen behaupten, führt dies zu keinem anderen Ergebnis. Die (allfällige) temporäre Nichterfüllung einer vertraglichen Verpflichtung macht diese nicht obsolet.
3.3. Hinsichtlich der Jahre 2004 bis 2006 gilt das am 1. Januar 2004 in Kraft getretene Vorsorgereglement der Sammelstiftung B._ (nachfolgend: Reglement 2004). Darin wird zwischen einer Umwandlung des obligatorischen und des überobligatorischen Teils des vorhandenen Altersguthabens differenziert (vgl. Art. 12 Ziff. 2 Abs. 1 Reglement 2004). Dabei ist nicht zwingend, dass die beiden Umwandlungssätze gleich hoch sind: " (...) beim überobligatorischen Teil (können) die bei der Umwandlung gültigen Kollektiv-Lebensversicherungstarife zugrundegelegt werden" (Art. 12 Ziff. 2 Abs. 2 Satz 3 Reglement 2004). Wohl werden der aktuell anwendbare Umwandlungssatz resp. die aktuell anwendbaren Umwandlungssätze im Versicherungsausweis aufgeführt (Art. 12 Ziff. 2 Abs. 3 Reglement 2004) und insoweit waren die dort vermerkten Einheitssätze (sowohl für den obligatorischen als auch überobligatorischen Teil) für die Sammelstiftung B._ verbindlich. Diese Parallelität war jedoch, wie soeben dargelegt, nicht Verpflichtung. Es lag im Ermessen der Beschwerdegegnerin, ob sie für den überobligatorischen Teil den (tieferen) Umwandlungssatz der E._ AG übernehmen wollte. Dass das Abrücken von einem einheitlichen Umwandlungssatz einen ausdrücklichen Beschluss des zuständigen Organes voraussetzte, oder anders gesagt, im Reglement 2004 im Grundsatz die Regelung von Art. 29 Abs. 1 Reglement 2001 weitergeführt wurde, wie die Sammelstiftung B._ meint, ändert nichts daran, dass neu keine Zusicherung für einen einheitlichen Umwandlungssatz resp. keine Umwandlungssatzgarantie im Überobligatorium mehr abgegeben wurde. War der obligatorische Umwandlungssatz höher als der Kollektivtarif, konnte nunmehr einer Ausfinanzierung im überobligatorischen Teil aus dem Weg gegangen werden. Insoweit ist den Beschwerdeführerinnen Recht zu geben. Ab 2004 bestand gegenüber den Versicherten kein Müssen (mehr), allfällige Differenzen der Umwandlungssätze auszufinanzieren.
3.4. Zusammengefasst handelt es sich bei den hier fraglichen Zahlungen grösstenteils um Verpflichtungen, die unabhängig von der Vermögenssituation zu erfüllen waren. Einzig die in den Jahren 2004 bis 2006 erbrachten freiwilligen Leistungen sind Ermessensleistungen, die grundsätzlich aus den freien Mitteln zu erbringen waren.
4.
4.1. Bei einer Teilliquidation steht das gesamte nichtindividualisierte Kapital im Fokus: die freien Mittel, die Rückstellungen und die Wertschwankungsreserven. Ihre Ermittlung erfolgt aufgrund einer kaufmännischen und technischen Bilanz, aus der die tatsächliche finanzielle Lage im Zeitpunkt des Bilanzstichtages hervorgeht (vgl. Art. 27g und 27h der Verordnung vom 18. April 1984 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge [BVV 2; SR 831.441.1] sowie BGE 131 II 514 und 525 [zur altrechtlichen Lage]). Dazu gehört, dass die bestehenden Rückstellungen betreffend Bedarf und Umfang überprüft werden. Nicht mehr benötigte Rückstellungen sind allenfalls aufzulösen, andere Rückstellungen unter Umständen zu erhöhen und zusätzliche Rückstellungen, vor allem wenn sich ihr Bedarf aus der Teilliquidation ergibt, eventuell neu zu bilden (vgl. BGE 141 V 589; vgl. auch BGE 142 V 129 E. 6.5.3 S. 141). Diese am jeweiligen Bilanzstichtag einerseits "überflüssigen" bzw. anderseits erforderlichen Werte, um alle Vorsorgeverpflichtungen zu decken, sind zwischen den austretenden und den verbleibenden Versicherten aufzuteilen. Freiwillige Leistungen (vgl. E. 3.3 vorne) sind dabei nicht per se von den zu sichernden Werten ausgenommen (vgl. zum Ganzen ERICH PETER, Die Verteilung von Rückstellungen bei Teilliquidation - das korrekte Vorgehen, in: SZS 2014 S. 85-88 [S. 86-88 Ziff. 2.1 und 2.2]; SCHWEIZER HANDBUCH DER WIRTSCHAFTSPRÜFUNG, Bd. 4, Versicherungen, Personalvorsorge und öffentliche Verwaltung, 2009, S. 242; CARL HELBLING, Personalvorsorge und BVG, 8. Aufl. 2006, S. 277 f.; vgl. auch BGE 131 II 514 E. 2.2 S. 517 und E. 3.2 S. 518; in Bezug auf freiwillige Leistungen vgl. insbesondere PETER/ROOS, Technische Rückstellungen aus rechtlicher Sicht - Gesetzliche Schranken, Rückstellungsreglement, Teilliquidation, in: Der Schweizer Treuhänder 2008 S. 459 Ziff. 3.3).
4.2. Soweit aus einer unsachgemässen Mittelverwendung eine quantitative Schmälerung der jeweiligen Teilliquidations-Ansprüche resultiert, handelt es sich um Schaden. Nicht anders sehen dies die (ehemalige) Aufsichtsbehörde und Vorinstanz sowie die Parteien (vgl. Verfügung des BSV vom 14. Dezember 2012, S. 11 Ziff. 8 Abs. 3, woraus sich entgegen der Ansicht der Beschwerdeführerinnen klar ergibt, dass die vom BSV verfügte "physische" Rückführung der Mittel, die seiner Meinung nach zu Unrecht dem Teuerungsfonds entzogen wurden, die Vermeidung eines Schadens aus ungerechtfertigter Substanzminderung zum Ziel hat; vgl. ferner vorinstanzliche Erwägung 5.4.2 Abs. 3, Beschwerdeschrift vom 5. Januar 2017 S. 27 und 32 und Vernehmlassung der Sammelstiftung B._ vom 6. März 2017 S. 19 f. unten). Die Auffassungen der Genannten divergieren vielmehr dahingehend, als nicht alle im Umstand, dass mit Mitteln des Teuerungsfonds Umwandlungssatzdifferenzen und Beiträge an den Sicherheitsfonds finanziert wurden, eine Rechtswidrigkeit (mit Blick auf den Vorsorgezweck) auszumachen vermögen, geschweige denn einen Schaden resp. einen Nachteil, der sich auf das Stiftungsvermögen und folglich auf die jeweiligen Teilliquidationsergebnisse auswirkt. Diese (Streit-) Fragen, die untrennbar und unmittelbar mit derjenigen nach einer eventuellen Verantwortlichkeit zusammenhängen, sind jedoch nicht auf dem aufsichtsrechtlichen Weg zu klären und können daher nicht in das Teilliquidationsverfahren miteinbezogen werden (vgl. UELI KIESER, in: BVG und FZG, 2010, N. 7 zu Art. 52 mit Hinweis auf SVR 2003 BVG Nr. 4 E. 2). Dies gilt umso mehr, als die Teilliquidationsbilanz die aktuelle Vermögenssituation der Vorsorgeeinrichtung per Stichtag widerspiegelt (vgl. E. 4.1 in initio). Für die Frage nach der Deckung einer aus dieser Momentaufnahme resultierenden Einbusse der Teilliquidations-Ansprüche verbleibt deshalb so oder anders "aus für die Teilliquidation relevanter Sicht" kein Raum.
4.3. Nach dem Gesagten ist das Bundesgericht - im Rahmen des vorliegenden Verfahrensweges - für den hier streitigen Punkt (vgl. E. 2 vorne) nicht zuständig (vgl. zur freien Überprüfung der Zuständigkeit durch das Bundesgericht statt vieler Urteil 8C_776/2016 vom 23. Mai 2017 E. 1 mit Hinweis auf BGE 139 V 42 E. 1 S. 44). Weder dem Entscheid A-565/2013 des Bundesverwaltungsgerichts vom 8. November 2016 noch der Verfügung des BSV vom 14. Dezember 2012 kommt insoweit eine rechtliche Verbindlichkeit zu. Gleichzeitig erübrigen sich Weiterungen zur Beschwerde.
5.
Bei diesem Verfahrensausgang haben die Beschwerdeführerinnen die Gerichtskosten zu gleichen Teilen unter solidarischer Haftung zu tragen (Art. 66 Abs. 1 und 5 BGG). Eine Parteientschädigung ist nicht geschuldet (Art. 68 Abs. 3 BGG).

rulings:
Demnach erkennt das Bundesgericht:
1.
Auf die Beschwerde wird im Sinne der Erwägungen nicht eingetreten.
2.
Die Gerichtskosten von Fr. 9'000.- werden den Beschwerdeführerinnen zu gleichen Teilen und unter solidarischer Haftung auferlegt.
3.
Dieses Urteil wird den Parteien, der BVG- und Stiftungsaufsicht des Kantons Zürich (BVS), dem Bundesverwaltungsgericht, der Oberaufsichtskommission BVG und dem Bundesamt für Sozialversicherungen schriftlich mitgeteilt.
Luzern, 31. Juli 2017
Im Namen der II. sozialrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Die Präsidentin: Pfiffner
Die Gerichtsschreiberin: Dormann