Mier in history: A translation of Mier en la historia