till tjenstemännens pensionsfond afsättes 10 000 kr.