Ok, thanks, Michael, for the hint! #694975 Cheers, Anton 2012/12/2 Michael Gilbert <mgilbert@debian.org>: > Please submit a release.debian.org bug report to better track your request. > > Best wishes, > Mike