Machine-tools; bending, folding, straightening or flattening machines (including presses), (other than numerically controlled), for working metal