Host 127.0.0.1 | localhost
  ForwardAgent yes
  ForwardX11 yes
  ForwardX11Trusted yes
  NoHostAuthenticationForLocalhost yes

Host pulse.madduck.net | pulse
  ForwardAgent yes
  Hostname pulse.madduck.net
  #AddressFamily inet
Host svn.madduck.net | svn
  User madduck
  HostKeyAlias pulse.madduck.net
Host git.madduck.net | git
  User madduck
  HostKeyAlias pulse.madduck.net
  #AddressFamily inet
Host scratch.madduck.net | scratch
  User madduck
  HostKeyAlias pulse.madduck.net
  #AddressFamily inet
Host debian.madduck.net | debian
  User madduck
  HostKeyAlias pulse.madduck.net
  #AddressFamily inet
Host openvpn.madduck.net | openvpn
  User madduck
  HostKeyAlias pulse.madduck.net
  #AddressFamily inet
Host ssh443.madduck.net | ssh443
  User madduck
  HostKeyAlias pulse.madduck.net
  ForwardAgent yes
  Port 443
  #AddressFamily inet

Host khyber.madduck.net | khyber
  ForwardAgent yes
  Hostname khyber.madduck.net

Host martin-krafft.net
  User madduck
  HostKeyAlias seamus.madduck.net
Host phd.martin-krafft.net
  User madduck
  HostKeyAlias seamus.madduck.net
Host madduck.net
  User madduck
  HostKeyAlias seamus.madduck.net

Host tunes.madduck.net | tunes
  Hostname bell.madduck.net
  HostKeyAlias bell.madduck.net
  AddressFamily inet

Host sheep.umverkehr.ch | sheep | webmail.madduck.net | webmail
  Hostname sheep.umverkehr.ch
  User madduck

Host lapse.rw.madduck.net | lapse.oerlikon.madduck.net | lapse
  CheckHostIP no
  ForwardAgent yes
  ForwardX11 yes
#  AddressFamily inet

Host wall.oerlikon.madduck.net | wall
  CheckHostIP no
  ForwardAgent yes
  Hostname wall.oerlikon.madduck.net
  HostKeyAlias wall.oerlikon.madduck.net

Host embryo.gauting.madduck.net | embryo
  CheckHostIP no
  ForwardAgent yes
  Hostname embryo.gauting.madduck.net
  HostKeyAlias embryo.gauting.madduck.net

Host piper.oerlikon.madduck.net | piper
  Hostname piper.oerlikon.madduck.net
  ForwardAgent yes
  ForwardX11 yes
#  AddressFamily inet
Host pipere
  Hostname wall.madduck.net
  Port 22223
  CheckHostIP no
  ForwardAgent yes
  ForwardX11 yes
  HostKeyAlias piper.oerlikon.madduck.net

Host diamond.oerlikon.madduck.net | diamond
  Hostname diamond.oerlikon.madduck.net
  ForwardAgent yes
  ForwardX11 yes
#  AddressFamily inet
Host diamonde
  Hostname wall.madduck.net
  Port 22224
  CheckHostIP no
  ForwardAgent yes
  ForwardX11 yes
  HostKeyAlias diamond.oerlikon.madduck.net

Host pict.oerlikon.madduck.net | pict
  Hostname pict.oerlikon.madduck.net
  ForwardAgent yes
  ForwardX11 yes
#  AddressFamily inet

Host lust.oerlikon.madduck.net | lust | hermia
  HostKeyAlias hermia.mjollnir.org
  ForwardX11 yes
  CheckHostIP no

Host mother.gauting.madduck.net | mother
  Hostname mother.gauting.madduck.net
  ForwardAgent yes
  ForwardX11 yes
Host mothere
  Hostname embryo.madduck.net
  Port 22221
  CheckHostIP no
  ForwardAgent yes
  ForwardX11 yes
  HostKeyAlias mother.gauting.madduck.net

Host brick.gauting.madduck.net | brick
  Hostname brick.gauting.madduck.net
  ForwardAgent yes
  ForwardX11 yes
Host bricke
  Hostname embryo.madduck.net
  Port 22222
  CheckHostIP no
  ForwardAgent yes
  ForwardX11 yes
  HostKeyAlias brick.gauting.madduck.net

Host debian-community.org | bikeshed.debian-community.org | bikeshed
  Hostname bikeshed.debian-community.org
  User madduck
  ForwardAgent no
  ForwardX11 no

Host alioth.debian.org | alioth
  Hostname alioth.debian.org
  User madduck
Host svn.debian.org
  HostKeyAlias alioth.debian.org
  User madduck
Host git.debian.org
  HostKeyAlias alioth.debian.org
  User madduck
Host hg.debian.org
  HostKeyAlias alioth.debian.org
  User madduck

Host malo.debian.org | malo
  Hostname malo.debian.org
  User madduck
Host paer.debian.org | paer
  Hostname paer.debian.org
  User madduck
Host crest.debian.org | crest
  Hostname crest.debian.org
  User madduck
Host saens.debian.org | saens
  Hostname saens.debian.org
  User madduck
Host spohr.debian.org | spohr
  Hostname spohr.debian.org
  User madduck
Host gluck.debian.org | gluck
  Hostname gluck.debian.org
  User madduck
Host elara.debian.org | elara
  Hostname elara.debian.org
  User madduck
Host sarti.debian.org | sarti
  Hostname sarti.debian.org
  User madduck
Host europa.debian.org | europa
  Hostname europa.debian.org
  User madduck
Host master.debian.org | master
  Hostname master.debian.org
  User madduck
Host bartok.debian.org | bartok
  Hostname bartok.debian.org
  User madduck
Host merulo.debian.org | merulo
  Hostname merulo.debian.org
  User madduck
Host merkel.debian.org | merkel
  Hostname merkel.debian.org
  User madduck
Host murphy.debian.org | murphy
  Hostname murphy.debian.org
  User madduck
Host raptor.debian.org | raptor
  Hostname raptor.debian.org
  User madduck
Host tartini.debian.org | tartini
  Hostname tartini.debian.org
  User madduck
Host raff.debian.org | raff
  Hostname raff.debian.org
  User madduck
Host klecker.debian.org | klecker
  Hostname klecker.debian.org
  User madduck
Host voltaire.debian.org | voltaire
  Hostname voltaire.debian.org
  User madduck
Host bruckner.debian.org | bruckner
  Hostname bruckner.debian.org
  User madduck
Host kullervo.debian.org | kullervo
  Hostname kullervo.debian.org
  User madduck
Host samosa.debian.org | samosa
  Hostname samosa.debian.org
  User madduck
Host caballero.debian.org | caballero
  Hostname caballero.debian.org
  User madduck
Host pergolesi.debian.org | pergolesi
  Hostname pergolesi.debian.org
  User madduck
Host spontini.debian.org | spontini
  Hostname spontini.debian.org
  User madduck
Host mayr.debian.org | mayr
  Hostname mayr.debian.org
  User madduck
Host mayer.debian.org | mayer
  Hostname mayer.debian.org
  User madduck
Host agnesi.debian.org | agnesi
  Hostname agnesi.debian.org
  User madduck
Host puccini.debian.org | puccini
  Hostname puccini.debian.org
  User madduck
Host villa.debian.org | villa
  Hostname villa.debian.org
  User madduck
Host piatti.debian.org | piatti
  Hostname piatti.debian.org
  User madduck
Host peri.debian.org | peri
  Hostname peri.debian.org
  User madduck
Host lobos.debian.org | lobos
  Hostname lobos.debian.org
  User madduck
Host wagner.debian.org | wagner
  Hostname wagner.debian.org
  User madduck
Host verdi.debian.org | verdi
  Hostname verdi.debian.org
  User madduck
Host ries.debian.org | ries
  Hostname ries.debian.org
  User madduck
Host goetz.debian.org | goetz
  Hostname goetz.debian.org
  User madduck
Host ravel.debian.org | ravel
  Hostname ravel.debian.org
  User madduck
Host rietz.debian.org | rietz
  Hostname rietz.debian.org
  User madduck
Host steffani.debian.org | steffani
  Hostname steffani.debian.org
  User madduck
Host lebrun.debian.org | lebrun
  Hostname lebrun.debian.org
  User madduck
Host liszt.debian.org | liszt
  Hostname liszt.debian.org
  User madduck
Host mundy.debian.org | mundy
  Hostname mundy.debian.org
  User madduck
Host albeniz.debian.org | albeniz
  Hostname albeniz.debian.org
  User madduck
Host sperger.debian.org | sperger
  Hostname sperger.debian.org
  User madduck
Host kassia.debian.org | kassia
  Hostname kassia.debian.org
  User madduck
Host agricola.debian.org | agricola
  Hostname agricola.debian.org
  User madduck
Host arcadelt.debian.org | arcadelt
  Hostname arcadelt.debian.org
  User madduck
Host penalosa.debian.org | penalosa
  Hostname penalosa.debian.org
  User madduck
Host argento.debian.org | argento
  Hostname argento.debian.org
  User madduck
Host allegri.debian.org | allegri
  Hostname allegri.debian.org
  User madduck
Host morales.debian.org | morales
  Hostname morales.debian.org
  User madduck
Host auber.debian.org | auber
  Hostname auber.debian.org
  User madduck
Host mahler.debian.org | mahler
  Hostname mahler.debian.org
  User madduck
Host schroeder.debian.org | schroeder
  Hostname schroeder.debian.org
  User madduck
Host powell.debian.org | powell
  Hostname powell.debian.org
  User madduck
Host rem.debian.org | rem
  Hostname rem.debian.org
  User madduck
Host smetana.debian.org | smetana
  Hostname smetana.debian.org
  User madduck

Host cvs.debian.org
  HostKeyAlias gluck.debian.org
  User madduck

Host people.debian.org
  HostKeyAlias ravel.debian.org
  User madduck

Host sergei.ifi.uzh.ch | sergei
  Hostname sergei.ifi.uzh.ch
  User krafft
Host nikolai.ifi.uzh.ch | nikolai
  Hostname nikolai.ifi.uzh.ch
  User krafft

Host gratis2.opro.ch | opro
  Hostname 193.242.105.2
  User madduck

Host *
# AddressFamily any
# BatchMode no
# CheckHostIP yes
  Cipher blowfish
# Ciphers aes128-cbc,3des-cbc,blowfish-cbc,cast128-cbc,arcfour128,arcfour256,arcfour,aes192-cbc,aes256-cbc,aes128-ctr,aes192-ctr,aes256-ctr
# ClearAllForwardings no
# Compression no
# CompressionLevel 6
# ConnectionAttempts 1
  ConnectTimeout 10
  ControlPath ~/.var/ssh/ssh_control_%l_%h_%p_%r
  ControlMaster auto
## DSAAuthentication no
# DynamicForward off
# EnableSSHKeysign no
# EscapeChar ~
  ExitOnForwardFailure yes
  ForwardAgent no
  ForwardX11 no
# ForwardX11Trusted yes
# GatewayPorts no
# GlobalKnownHostsFile /etc/ssh/ssh_known_hosts
  HashKnownHosts no
# HostbasedAuthentication no
  HostKeyAlgorithms ssh-rsa
# IdentityFile ~/.ssh/identity
  IdentityFile2 ~/.ssh/id_rsa
# KbdInteractiveDevices pam
# LocalCommand none
# LocalForward none
# LogLevel INFO
  MACs hmac-sha1,umac-64@openssh.com,hmac-ripemd160,hmac-sha1-96,hmac-md5,hmac-md5-96
# NoHostAuthenticationForLocalhost no
  NumberOfPasswordPrompts 2
  PasswordAuthentication yes
# PermitLocalCommand no
# Port 22
# PreferredAuthentications gssapi-with-mic,hostbased,publickey,keyboard-interactive,password
  Protocol 2
# ProxyCommand
# PubkeyAuthentication yes
# RekeyLimit 1G-4G #depends on cipher
# RemoteForward
# RhostsRSAAuthentication no
# RSAAuthentication no
# ServerAliveCountMax 3
  ServerAliveInterval 45
  SetupTimeOut 10
# SmartcardDevice off
  StrictHostKeyChecking yes
# TCPKeepAlive yes
# Tunnel no
# TunnelDevice any:any
# UsePrivilegedPort no
# UserKnownHostsFile ~/.ssh/known_hosts
# VerifyHostKeyDNS no
  VisualHostKey no
# XAuthLocation /usr/X11R6/bin/xauth