Was heißt escofina?f. Especie de lima, muy usada para desbastar: el escultor usaba la escofina para limar las aristas.