DeF producer