Host github.com
	HostName github.com
	User git
	IdentityFile ~/.ssh/id_github

Host amazon
	Hostname 3.74.164.123
	User ec2-user
	IdentityFile ~/.ssh/id_amazon


Host gitlab.gwdg.de
	HostName gitlab.gwdg.de
	User git
	IdentityFile ~/.ssh/id_university

Host strato
	HostName hahn1.one
	User root
	IdentityFile ~/.ssh/id_strato

Host bitzz
	HostName bitzz.de
	User jonas

Host physik
	HostName login.physik.uni-goettingen.de
	User j.hahn02
	IdentityFile ~/.ssh/id_university

Host theo_bitzz
	HostName bitzz.de
	User theo
	IdentityFile ~/.ssh/id_theo

Host informatik
	HostName shell.informatik.uni-goettingen.de
	User j.hahn02

Host dock
	HostName paper.ascyii.de
	Port 24
	User admin

Host git.ascyii.de
	HostName git.ascyii.de
	Port 222
	User admin
	IdentityFile ~/.ssh/id_gitea