As suggested by @null, I took the courage to attempt a fix myself. First I practiced on the card reader, that is cheaper to replace. I used a simple flat screwdriver with a sleek “neck”:

The pin which is bent is actually a bit longer than the other pins. Therefore it is possible to separate it from the pin it is leaning on.

Inserting the screw driver with the tip pointing like “|” I managed to separate the pins. I have no way of straighten it, but I managed to move it to the middle a bit. The card reader now looks like this:

From there I did the same thing with the camera. There it now looks like this:

I don't want to push my luck. So I just took the next biggest card that I have (which is 512 MB) and put it into the camera. This works, I should be able to get the pictures via the USB connector. Perhaps I upgrade the card to a larger one but I won't insert the card more often than needed. The 1 GB card will be retired as it has broken three card receptacles by now and 1 GB is not worth much anyway by today's prices.

All the pictures in the question and this answer are taken with my smartphone. I just used a flashlight and the aperture setting to make it decent enough to see something.