Verifikation
Schnittstellendefinition