Herbert, it seems your reply did not go to the sender, unless you
explicitly wrote him separately. I'll resend it.
Meanwhile, for the record:
After running:
pdftops ...
...
Now run ps2pdf xyz.ps
As far as I've seen, it is not necessary to run pdftops first. Despite
the name, ps2pdf is happy to read pdf files. -k