+ ForwardAgent yes
+ Hostname wall.oerlikon.madduck.net
+
+Host julia.oerlikon.madduck.net | julia
+ Hostname julia.oerlikon.madduck.net
+ ForwardAgent yes
+
+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.oerlikon.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.oerlikon.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 nokia-n900.oerlikon.madduck.net | nokia-n900 | n900
+ CheckHostIP no
+ ForwardAgent yes
+ ForwardX11 yes
+ User user
+
+Host auge-fr.no-ip.org | auge
+ CheckHostIP no
+ Hostname auge-fr.no-ip.org
+ HostKeyAlias helena.home.mjollnir.org
+
+Host hermia.home.mjollnir.org | hermia | lust.oerlikon.madduck.net | lust
+ CheckHostIP no
+ ForwardX11 yes
+ HostKeyAlias hermia.home.mjollnir.org
+
+Host mother.gauting.madduck.net | mother
+ Hostname mother.gauting.madduck.net
+ ForwardAgent yes
+ ForwardX11 yes
+Host mothere
+ Hostname embryo.gauting.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.gauting.madduck.net
+ Port 22222
+ CheckHostIP no
+ ForwardAgent yes
+ ForwardX11 yes
+ HostKeyAlias brick.gauting.madduck.net
+
+Host zlinli.no-ip.org | zlinli
+ CheckHostIP no
+ Hostname zlinli.no-ip.org