den 4 Juni 1880 Regementsintendenten (3596