C.
Mit Verwaltungsgerichtsbeschwerde beantragt die PAX, der vorinstanzliche Entscheid sei aufzuheben und die Klage abzuweisen.
B.________ lässt zur Hauptsache auf Abweisung der Verwaltungsgerichtsbeschwerde schliessen. Die als Mitinteressierte beigeladene ASPIDA lässt sich mit dem Begehren um Abweisung der Verwaltungsgerichtsbeschwerde vernehmen, während sich das Bundesamt für Sozialversicherung (BSV) äussert, ohne einen Antrag zu stellen.
Das Eidg. Versicherungsgericht zieht in Erwägung: