"Äquivalenz von Formeln und Normalformen" verschönert