Div. Materialien

- Algebraische Spezifikation