Having done some investigation, there's no way I would attempt to install a new spring myself. It's a pretty dangerous thing to do without the right tools and know-how because even a broken spring still has a lot of stored energy in it. And it would be just my luck, too. Death by gramophone spring.
Complete change of topic: I am going to Leipzig this May!