広徳の湯、水道工事。