Das Wort konjunktive Normalform konnte von uns nicht in die selektierte Zielsprache übersetzt werden.