fixed missing HostName in ssh_config

ssh_config

@@ -1,40 +1,47 @@
 Host ahorn_tmux
+    HostName ahorn
     User dirk
     Port 22
     RequestTTY yes
     RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh
 
 Host alders_tmux
+    HostName alders
     User dirk
     Port 22
     RequestTTY yes
     RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh
 
 Host buche_tmux
+    HostName buche
     User dirk
     Port 22
     RequestTTY yes
     RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh
 
 Host erle_tmux
+    HostName erle
     User dirk
     Port 22
     RequestTTY yes
     RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh
 
 Host ffe_tmux
+    HostName ffe
     User dirk
     Port 22
     RequestTTY yes
     RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh
 
 Host ffw_tmux
+    HostName ffw
     User dirk
     Port 22
     RequestTTY yes
     RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh
 
 Host leyk
+    # HostName leyk
     User dirk
     Port 22
     RequestTTY yes
@@ -48,6 +55,7 @@ Host mm_tmux
     RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh
 
 Host multimedia_tmux
+    HostName multimedia
     User dirk
     Port 22
     RequestTTY yes
@@ -68,6 +76,7 @@ Host multimedia_kb
     RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh
 
 Host raspiscreen_tmux
+    HostName raspiscreen
     User dirk
     Port 22
     RequestTTY yes