The industrial arts of Denmark from the earliest times to the Danish conquest of England