pensioneringen måste fyllas af tjenstemannafonden,