„ tjenstemannafonden 3 139 000.