Armory ( I think) in the castle district up on a hill over the city.  The pockmarks are from bullets.

I really should take more pictures like this, and less of the touristy crap on this page.