@schwa Not sure where you are, but Globetrotter.de has a few stores throughout Germany which have repair shops and also sell repair stuff. Might be worth a try.