@Kevin: My workaround was really just that: a workaround for when there is no other solution (and maybe a hint for developers what may be wrong). If you open my example pdf in a text editor, it seemed to help (at least in that case), to edit some numbers in said line.
@Kevin: My workaround was really just that: a workaround for when there is no other solution (and maybe a hint for developers what may be wrong). If you open my example pdf in a text editor, it seemed to help (at least in that case), to edit some numbers in said line.