Hendrik Tews <tews@os.inf.tu-dresden.de> writes: Done and uploaded. The new version should appear soon. debian.mentors dropped my upload from yesterday evening. But now the package is there. H.