restauration vid badhuset samt på flera andra restaurationer i staden.