tjänstemännens pensions !orening afsättes 5,000 kr.