Project Configuration of home:ptrommler:formal