Hi Gunnar,
You are right, this is way off the topic of music, but how refreshing.
I will look around the house and see if I can come up with the pens you are looking for, even if they have ink in them. Since I live in the affluent USA we have so many pens that we throw them out ink and all. .
Best Regards,
Dave