Add new files by Christoph
Move formalization files to subfolders