any hollow punch for striking with a hammer - Alemán Inglés Diccionario