Johann Georg Halske — German master mechanic (1814-1890)