functions added to Spezifikation.tex
Spezifikation.pdf compiled