広徳の湯改修工事。