Super Lie groups: global topology and local structure