[kkirsche]

I’d highly recommend using the ProxyJump directive in your ssh configuration file to avoid the need to track which host goes where manually.