formaler Korrektheit bewerten