Thanks for replying.

That unfortunately doesn't change anything, the resulting pdf looks identical, whether I print, click the "PDF or XPS" button, or choose "Save as..." and select pdf as the output file format.