5 000 kronor , hvilka afsattes för grundande af en pensionsfond för bolagets arbetare.