The existence of congruencesimple semirings, whose additive semigroups are nil and without irreducible elements, is proved. No explicite example is known, however.