Christoph Rauch (021eaa0b) at 08 Oct 13:35
attaching MIT license as discussed with Julian
Christoph Rauch (5cbcaffd) at 08 Oct 13:15
move formalization back to root directory
... and 1 more commit