Lie Groups: What They Are