[submodule "PRIVATE"]
	path = PRIVATE
	url = git@magit1.mpie.de:damask/PRIVATE.git