regementsintendenten A . v. Heijne,