Title: Coal gas as a labour-saving agent in the mechanical trades