häradshöfding v. Ehrenheim och brukspatron Vggla.