till pensionsfonden för arbetare afsättas kr.