Hello Nikolai,
Looks like, it happens because the PDF viewer rounds the line width to 0. It is reproduced in some PDF viewers while other PDF viewers always display the correct line width.
If you zoom in or zoom out, you might see the line in the same exported file. The dev team will check if it is possible to change that behaviour.
Now, as a workaround, you can export with the following style config: