Tools and machines in Denmark