It's not a lot of money involved, unfortunately!
But seriously, thank you for the advise, and for the comment about professional advising. I will keep that in mind.
At this point, the 401k to Roth IRA conversion seems interesting only if the special pension rates apply. Do you have any good resource to read on this point?
The capital tax sounds like a lesser problem, given the amount involved.
Thanks a lot!