We have all watched the terrorist attack aftermath unfold on the news in Barcelona, Spain. The news video shows a lot of police on the streets. I noticed most have a holstered pistol that I assume is an auto loader. Does any one know what pistol the police there carry? A quick Google search didn't reveal specifics. I also wonder what other weapons they are carrying in the news feeds.