Thanks for all the tips. It is embarrassing, but I must admit as it may help
someone else. I knew I had used it a long time ago but stupidly forgot it.
I was looking for "sphere_sweep"!
It is funny that people have encountered all sorts of problems in the long
history of POV-Ray, and we often try in vain to re-invent the wheel :-)