Thanks for the advice! The piece is now in very thin oil.
I don't think it's the size of the tool that is wrong.. Going to give it one more try tomorrow, if the pin is still stuck, it's a job for a gunsmith (or perhaps a fellow forum member take the challange for $ or a few ekstra Luger parts
)