A.
A.a Am 13. September 1984 wurde die Vera-Sammelstiftung durch die Vera Bau- und Verwaltungs AG, Olten, mit dem Ziel der versicherungsmässigen Vorsorge für Arbeitnehmer von Unternehmungen des Handels, der Industrie und des Gewerbes in der ganzen Schweiz bei Alter und Invalidität bzw. bei Tod für deren Hinterbliebene errichtet. Die Eintragung ins Handelsregister erfolgte am 19. Dezember 1984.