+Host sysyphus.madduck.net | sysyphus
+ ForwardAgent yes
+ Hostname sysyphus.madduck.net
+Host ssh443.madduck.net | ssh443
+ HostKeyAlias sysyphus.madduck.net
+ ForwardAgent yes
+ Port 443
+Host openvpn.madduck.net | openvpn
+ HostKeyAlias sysyphus.madduck.net
+
+Host wots.madduck.net | wots
+ ForwardAgent yes
+ Hostname wots.madduck.net
+Host buildd.debian.madduck.net | buildd
+ HostKeyAlias wots.madduck.net
+
+### UNI ZURICH MACHINES
+
+Host diamond.madduck.net | diamond
+ ForwardAgent yes
+ Hostname diamond.madduck.net
+Host debian.madduck.net | debian
+ HostKeyAlias diamond.madduck.net
+Host scratch.madduck.net | scratch
+ User madduck
+ HostKeyAlias diamond.madduck.net
+Host tunes.madduck.net | tunes
+ AddressFamily inet
+ ControlMaster no
+ Hostname tunes.madduck.net
+ HostKeyAlias diamond.madduck.net
+ IPQoS lowdelay af13
+Host flics.madduck.net | flics
+ AddressFamily inet
+ ControlMaster no
+ Hostname flics.madduck.net
+ HostKeyAlias diamond.madduck.net
+ IPQoS lowdelay af13
+
+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