flygelbyggnaderna samt 8,000 kr.