Dear Gregor, dear Russ, many thanks for your help, that's even much better than the information I was hoping for :-). Particularly the sources API and dgit are real gems that I would probably not have found myself. Cheers, Chris