Lace-workers' shops