"konjunktive Normalform" Englisch