Ceylon. Dept. of Industries.