ext hosts removal of old host entries

.ssh/config

@@ -50,21 +50,6 @@ Host ffe_tmux
     RequestTTY yes
     RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh
 
-Host ffe_ext
-    HostName ffe
-    User dirk
-    Port 22
-    RequestTTY yes
-    ProxyJump jump@hettingen_jumphost
-
-Host ffe_ext_tmux
-    HostName ffe
-    User dirk
-    Port 22
-    RequestTTY yes
-    ProxyJump jump@hettingen_jumphost
-    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh
-
 Host ffw_tmux
     HostName ffw
     User dirk
@@ -72,21 +57,6 @@ Host ffw_tmux
     RequestTTY yes
     RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh
 
-Host ffw_ext
-    HostName ffw
-    User dirk
-    Port 22
-    RequestTTY yes
-    ProxyJump jump@hettingen_jumphost
-
-Host ffw_ext_tmux
-    HostName ffw
-    User dirk
-    Port 22
-    RequestTTY yes
-    ProxyJump jump@hettingen_jumphost
-    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh
-
 Host leyk_ext
     HostName leyk
     User dirk