för tjänstemännens pensionering under några år uppgå i rundt tal till högst 23 000 kr. , hvaraf docken