Interface PlausibilitaetsPruefungFormal