zfsg fertig, fehlend: model checking