anslag å 10 000 kr. , hvilket jag anser vara tillräckligt att afhjelpa de oundgängligaste reparationerna.