Jan, is this still reproducible? If you don't have the disk any more, just let this bug report expire.
Jan, is this still reproducible?
If you don't have the disk any more, just let this bug report expire.