Manufacture of boring, cutting, sinking and tunnelling machinery (whether or not for underground use)