torp , förre häradsdomaren Johan Petersson i Troxhult,