häradshöfding Richert ( domarei