gårdsandelen resp. 3,800 och 5,700 kr .)