Hofmantorp ; häradshöfding afPeterséns