Host styx 
    HostName styx.math.uni-sb.de
    Port 22123
    User <your username>
    ForwardAgent yes
    
Host co
    Hostname contact.math.uni-sb.de
    port 22
    user <change to your username at SIC>
    ForwardAgent yes

Host wsco
    Hostname <host in your Dep. w/ Port 22 open>.math.uni-sb.de
    user <your user name on Workst. in your Dep.>
    ProxyCommand ssh co -W %h:%p

# Server
Host gemini
    HostName gemini.math.uni-sb.de
    Port 22
    User <your username>
    ProxyJump styx
    
Host <your favorite host inside>
    HostName <your favorite host inside>.math.uni-sb.de
    Port 22
    User <your username>
    ProxyJump styx
    
Host aries
    HostName aries.math.uni-sb.de
    Port 22
    User <your username>
    ProxyJump styx
    
# Exmple for AG Brandhorst
Host d9-sb
    HostName d9-sb.math.uni-sb.de
    Port 22
    User <your username>
    ProxyJump styx