skulle afsättas till pensionsfonden,