Information added to Spezifikation.tex, Spezifikation.pdf compiled