+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