0000000000000000000000000000000000000000 862cb181104acc836cedb1b9107f61bc6d1c4e09 Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> 1445242736 +0200	clone: from https://gkremer@srv-i2.informatik.rwth-aachen.de/scm/git/carl.git
