+Host shelter.madduck.net | shelter
+ ForwardAgent yes
+ Hostname shelter.madduck.net
+Host backup.madduck.net | backup
+ HostKeyAlias shelter.madduck.net
+
+Host sergei.ifi.uzh.ch | sergei
+ Hostname sergei.ifi.uzh.ch
+ User krafft
+Host nikolai.ifi.uzh.ch | nikolai
+ Hostname nikolai.ifi.uzh.ch
+ User krafft
+Host franz.ifi.uzh.ch | franz
+ Hostname franz.ifi.uzh.ch
+ User krafft
+
+### SWAN / BYTEMARK
+
+Host swan-host | swan-host.madduck.net
+ Hostname swan-host.madduck.net
+ User krafft
+
+Host swan.madduck.net | swan
+ ForwardAgent yes
+ Hostname swan.madduck.net
+
+### ARNOLD / GPLHOST
+
+Host arnold-host | arnold-host.madduck.net
+ Hostname arnold-host.madduck.net
+ User xen05
+
+### GERN
+
+Host wall.gern.madduck.net | wall
+ CheckHostIP no
+ ForwardAgent yes
+ Hostname wall.gern.madduck.net
+
+Host julia.gern.madduck.net | julia
+ Hostname julia.gern.madduck.net
+ ForwardAgent yes
+Host juliae
+ Hostname wall.gern.madduck.net
+ Port 22002
+ CheckHostIP no
+ ForwardAgent yes
+ ForwardX11 yes
+ HostKeyAlias julia.gern.madduck.net
+
+Host fishbowl.gern.madduck.net | fishbowl.gern
+ ForwardAgent yes
+ ForwardX11 yes
+ HostKeyAlias fishbowl.gern
+
+Host galaxy-s2.phones.gern | galaxy-s2
+ Hostname galaxy-s2.phones.gern
+ HostKeyAlias galaxy-s2.phones.gern
+ User root
+
+Host pict.gern.madduck.net | pict
+ Hostname pict.gern.madduck.net
+ ForwardAgent yes
+ ForwardX11 yes
+
+Host visitor*.gern.madduck.net | visitor*.gern | visitor*
+ StrictHostKeyChecking no
+ UserKnownHostsFile /dev/null
+
+### LEHEL
+
+Host clegg.lehel.madduck.net | clegg
+ CheckHostIP no
+ ForwardAgent yes
+ Hostname clegg.lehel.madduck.net
+
+Host albatross.lehel.madduck.net | albatross.lehel | albatross
+ Hostname albatross.lehel.madduck.net
+ ForwardAgent yes
+ ForwardX11 yes
+ HostKeyAlias albatross.lehel
+Host albatrosse
+ Hostname wall.lehel.madduck.net
+ Port 22032