pensionsfonden för bolagets tjenstemän.