pensionsfond för bolagets tjenstemän kr.