Absolutely gutted for you. Scum of the earth.
Not what you want to here right now, but the lesson is you can’t outrun a bear, but it doesn’t matter as long as you can outrun the competition, i.e . invest in the best lock you can and the scum move on.
I have a Abus Granit 540, and yes if the thief is persistent enough he’ll eventually break it (it’ll take an angle grinder), but odds are they’ll just move on to the next bike.