verkstad , kostade då 72,000 kr.