ringprince Thu, 21 Sep 2017 20:39:49 -0700
This works again. So since this is not reproducible any longer, the issue can be closed.
