Lie groups for pedestrians