( 6251 ) Regementsintendenten.