factories and public buildings Industrial Commission of Ohio. Department of workshops