4. After 30 minutes, use a potato masher to mash the pretzel pieces for a couple minutes, until a little mushier, with chunks still remaining.
4. Después de 30 minutos, usa un machacador de papas para aplastar los pedazos de pretzel durante un par de minutos, hasta que queden un poco más blandos, con pero que queden alguno trozos.