Jumphost
In case you want to make only a ssh connection to some server inside the ETH network you can use the following command:
ssh -t -J ETHZ-NAME@slab1.ethz.ch ETHZ-NAME@SERVER.ethz.ch
OR if you study at D-INFK:
ssh -t -J ETHZ-NAME@jumphost.inf.ethz.ch ETHZ-NAME@SERVER …