If you are outside Telin it is possible to connect to an internal Linux server quickly. This is the trick.
Host proxy User your_username HostName telin.ugent.be Host *.telin User your_username HostName %h ProxyCommand ssh -q proxy nc -w 3600 %h %p
If you add the .telin extension to the ssh host, it will open a connection to the telin.ugent.be server but will connect directly with the netcat connection on to the internal server.
e.g. from home: ssh wanda.telin will open a connection to wanda through the telin.ugent.be server.
This tip will also work for MacOS users! Make sure you have nc available.