Braiding or manufacture of lace, including bobbin-net or carbonised lace; braiding machines; braid; lace