Thank you Thomas. I think, my mistake was, to convert a *.raw file from the 'Plus42'.
Converting it from 'Free42', raw2txt.exe works properly.
(Later I have seen your remark on the 'Free42' page:
"These tools do not handle Plus42 instructions".)
Kind regards / Hans