Citation: 9C_747/2019 E. 5.4.2

5.4.2. Soweit die Vorinstanz von Ziff. 2 Abs. 3 Teilliquidationsreglement (vgl. E. 5.1.2 und 5.1.3 vorne) abwich, hat sie die Hintergründe einlässlich dargelegt. Insbesondere hat sie sachlich fundiert aufgezeigt, weshalb in casu das Abstellen auf einen formellen Beschluss des Arbeitgebers als zu formalistisch zu werten ist und ein solches den konkreten Gegebenheiten nicht gerecht zu werden vermag. Das Bundesgericht kann angesichts der überzeugenden Ausführungen weder einen Ermessensmissbrauch noch eine Ermessensüberschreitung ausmachen. Der Vorwurf des Zusatzfonds an die Adresse des Bundesverwaltungsgerichts, dieses habe eine retrospektive Einschätzung vorgenommen, ist unbegründet (vgl. E. 4.1 vorne) und bleibt letztlich substanzlos.