Informasi yang berkaitan dengan es/85.ª Brigada Mixta (Ejército Popular de la República)