The problem seems to be fixed by some earlier change
and is not reproducible any longer. Only adding a test case.