This week I learned what a jumphost is – and that with OpenSSH you easily can use the -J option or even configure it in your ssh_config file.