  A standing conjecture in L2-cohomology is that every finite CW-complex X is
of L2-determinant class. In this paper, we prove this whenever the fundamental
group belongs to a large class of groups containing e.g. all extensions of
residually finite groups with amenable quotients, all residually amenable
groups and free products of these. If, in addition, X is L2-acyclic, we also
prove that the L2-determinant is a homotopy invariant. Even in the known cases,
our proof of homotopy invariance is much shorter and easier than the previous
ones. Under suitable conditions we give new approximation formulas for L2-Betti
numbers. Errata are added, rectifying some unproved statements about "amenable
extension": throughout, amenable extensions should be extensions with
\emph{normal} subgroups.
