George Ehrenhaft (Ehrenhaft, George)