Origin of the surname Hvalsrætt