[ README ] Putting everything in a nice table
Merge https://github.com/stevana/martin-lof

Conflicts:
	README.md
Add pdf to Hauptsatz paper, thanks to Fredrik NF
Add bibliography.bib file.