Brigada Internacional ist unser Ehrenname (Militärverlag der DDR, 1983)