Krausz Leo, gépészmérnök, élt: 1878– 1962