Host paftown.ddns.net
  Port 22000

Host ircbox.informatik.uni-erlangen.de
    User aj46ezos

Host muhq.space
    User muhq
