# Please refer to the miredo.conf(5) man page for details.
InterfaceName   teredo

# Pick a Teredo server:
#ServerAddress  teredo.ipv6.microsoft.com
#ServerAddress  teredo-debian.remlab.net
#ServerAddress  teredo.trex.fi
ServerAddress   teredo.iks-jena.de

# Some firewall/NAT setups require a specific UDP port number:
BindPort        3545