Minor changes to Spezifikation.pdf. Spezifikation.tex added