Hartz DE 43 , 794.