Given that I was in a hurry, concerned about damaging municpal property, have never used an angle grinder and most importantly, the last time I used a cutting tool featuring a high speed rotating disk I nearly cut my hand off, I called a locksmith at vast cost to do the business. He used a battery powered angle grinder which did the job in seconds amidst a shower of sparks. He had obviously done this enough times before to feel there was no need for any safety equipment. Rather him than me.
I find angle grinders a bit scary, tbh. I'm wondering if a cutting disk on a dremmel would have done the job. More my size.