till pensionsfond åt arbetarne 10,000 kr.