Hi,So the version I sent in yesterday works now without any changes but does not produce the list of figures and the list of contributors, since toolsever entirely gave up. So currently I can not even work on the problem. So if you think you can add the current revision to debian, just add it. Otherwise it might take a longer time until I will be able to add a new version, because I currently have very little Idea how to fix that problem.
Yours Dirk