reparationer för endast 9,000 kr. , vore det ju klart , att det vore endast de mestträngande