600,000 gevär som Spanien — naturligtvis på papperet — äger.