verification-model Fragmenten (240) 2