Kraus, Robert,1925-