Machine-tools; punching or notching machines (including presses), including combined punching and shearing machines, (not numerically controlled), for working metal