Host faui2hg
	HostName faui2hg.cs.fau.de
	User est_tpreisner

Host faui*
	HostName %h.cs.fau.de
	User ty28wuqu

Host ircbox
	HostName ircbox.cs.fau.de
	User ty28wuqu

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

Host server
	HostName tpreisner.de
	User root