Export Proxies

Hi I can't figure out how to export the list of proxies in GSA. I want to use them elsewhere.

options->proxy configure->options->...there you can set things up to automatically export proxies.

thanks Sven