tjenstemännens pensionsfond afsattes 5 000 kr. , tillfrämjandet