Christoph,
thanks for the report. You were correct, this is in fact a duplicate of another bug 86794.
Christoph,
thanks for the report. You were correct, this is in fact a duplicate of another bug 86794.