Thanks for the tip! You saved me from buying new ones.

Regarding the tips: I used a tiny screwdriver and hairdryer to open the earbud and a toothpick for some of the steps. I panicked when I saw it working and then not working (before glueing the earbud). I fixed the contact as described in step 10 and then it worked once again.