Hook-Contract-Definitionen