Bug#722558: Bug is gone!

[Adrian Kieß]

Dear Maintainer,

in the meanwhile I already own a freshly set up Debian/testing 
installation and the problem I reported is gone.

Thank you.

Adrian