+ 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