Thank you for your kind offer. Indeed, eBay global shipping to Germany usually is about £12 which makes it a bit unattractive for ordering just a spare part. But if I do look for a replacement anyway, I might give it a try to fix it.
Although I see the point in the suggestions to leave it like...