efter hvilken tid detsamma å allmän auktion försäljes , för reparationskostnadens betäckande.