Comment # 19 on bug 775360 from Thomas Blume

Finally, it turns out that this was a duplicate of bug 886211.
It is fixed in in 13.1.
Therefore, closing as duplicate.

*** This bug has been marked as a duplicate of bug 886211 ***