tjenstemannafonden till 45,672 kr.