ur stadskassan till dessa tjenstemän numera utgör för hvardera 4,000 kr.