zurück zu deCNF4