On A. Connes' noncommutative integration theory