Your choice of lock is excellent. I had to learn about locks from the actual theft of two bikes, over a rather long period of time. You have just learned as much as me in only one incident. Your lock saved your bike from being somebody else's property. It's a bad situation, but you still did well.
What was that? You build wheels for free? :)