Ulrich Herbst - 2016-05-26

I can't reproduce the bug in a synthetic test.
New debugging output from original site required.