+Host tunes.madduck.net | tunes
+ AddressFamily inet
+ ControlMaster no
+ Hostname tunes.madduck.net
+ HostKeyAlias bell.madduck.net
+
+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
+
+Host vizier.oerlikon.madduck.net | vizier
+ Hostname vizier.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 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