(Deutsch) Juan Miguel de Mora Vaquerizo, einer der letzten beiden mexikanischen Veteranen des spanischen Bürgerkrieges in den internationalen Brigaden, verstorben.