Title: Korrektheit von Spezifikationen und generischen Moduln