+ #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
+Host backup.madduck.net | backup
+ HostKeyAlias pulse.madduck.net
+ #AddressFamily inet
+
+Host khyber.madduck.net | khyber
+ ForwardAgent yes
+ Hostname khyber.madduck.net
+
+Host lotus.madduck.net | lotus
+ ForwardAgent yes
+ Hostname lotus.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
+
+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.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 auge-fr.no-ip.org | auge
+ CheckHostIP no
+ Hostname auge-fr.no-ip.org
+ HostKeyAlias helena.home.mjollnir.org