There is music playing again. The prognosis below was wrong. The problem lay in the drip pipes which had become totally clogged with clay and chalk particles. A bit of first aid has got water dripping again and it’s now a question of discovering how to filter out the sediment and whether the new holes in the pipes are big enough to pass them through whole . . . or whether they’ll clog up themselves. For now though all is well.