広徳の湯の工事。