The history of bobbin lace making