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