Manufacture of machinery in Denmark