In the end I found a fitting in a local hardware shop, which clamps on to the existing drainage pipe (32 or 40mm), and a cutting tool is supplied so that you cut a hole for the new pipe in exactly the right spot, and can then fit a spigot to attach the second pipe to.
As the washing machine...