Plug-in and pull-out terminals and plugs