Es ist nicht willkürlich, für den Stichtag der Liquidation auf den Zeitpunkt des Erlasses der Liquidationsverfügung oder aber auf jenen der Erfüllung der vom Stiftungsrat eingegangenen Verpflichtungen abzustellen; hingegen ist die Kenntnis des Kreises der Betroffenen ein sachfremdes Kriterium (E. 4.3). Der Grundsatz der Gleichbehandlung wird nicht verletzt, wenn die Bezüger einer Kapitalabfindung - im Gegensatz zu Aktivversicherten und Rentnern - im Verteilungsplan unberücksichtigt bleiben (E. 5.4). Bei der Liquidation einer patronalen Wohlfahrtsstiftung ist eine versicherungstechnische Bilanz entbehrlich (E. 6.2.3).