ssh config extended by jumphosts and additional "*_ext" hosts

.ssh/config

+Host public_jumphost
+    HostName mount-mockery.de
+    User jump
+
+Host hettingen_jumphost
+    HostName localhost
+    User jump
+    Port 10022
+    ProxyJump jump@public_jumphost
+
 Host ahorn_tmux
     HostName ahorn
     User dirk
     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
     RequestTTY yes
     RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh
 
-Host leyk
-    # HostName leyk
+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
     Port 22
     RequestTTY yes
+    ProxyJump jump@hettingen_jumphost
     # RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh
 
 Host mm_tmux
     User dirk
     Port 10022
     RequestTTY yes
-    ProxyJump jump@mount-mockery.de
+    ProxyJump jump@public_jumphost
     LocalForward 1880 localhost:1880
 
 Host multimedia_ext_tmux
     User dirk
     Port 10022
     RequestTTY yes
-    ProxyJump jump@mount-mockery.de
+    ProxyJump jump@public_jumphost
     RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh
     LocalForward 1880 localhost:1880