# export http_proxy="http://fw-bln-proxy.rki.ivbb.bund.de:8020"
# export https_proxy="http://fw-bln-proxy.rki.ivbb.bund.de:8020"
# export auto_proxy="http://http-proxy.rki.ivbb.bund.de/proxyconfig.pac"
