Host *.wleiden.net
  ForwardAgent yes

Host 172.16.?.?
  ForwardAgent yes