English:  1 to punch
German: ausstanzen