Changed Main Path to mithra/ to prevent collisions with other groups when running on buche.informatik.rwth-aachen.de