punched engravings (300411442) 'produced by' punches (marking tools) (300024790);