Topological Groups: Yesterday, Today, Tomorrow