i stället en ny gasklocka för en kostnad af 20.000 kronor.