Introduction to ℓ2-methods in topology: Reduced ℓ2-homology, harmonic chains, ℓ2-betti numbers