Tangui, Jan: It is a different (though closely related) bug for which I opened bug #773806 [1]. As soon as that bug is fixed in a new version, it should be possible to upgrade normally. Ulrich [1] http://bugs.debian.org/773806