blott omkring 10 , 000 , och kriget kostade Spanien icke mindre än 609 millioner.