Det borgerliga kriget i Spanien är i sjelfva verket slut,