Noncommutative geometry for pedestrians