Host faui*
	HostName %h.informatik.uni-erlangen.de
	User ty28wuqu

Host ircbox
	HostName ircbox.informatik.uni-erlangen.de
	User ty28wuqu

Host irc
	HostName tpreisner.de
	User weechat
	IdentityFile ~/.ssh/irc_rsa

Host server
	HostName tpreisner.de
	User root