för pensionering af stadens arbetarekår kommer att uppgå till 6,000 kr.