unknown

A punch is a tool used to make type.

Captured from web.archive.org on 3 Jan 2018. view this capture