afsättas till tjenstemännens pensionsfond ;'