On 24 May 2012 11:55, Felix Favre <1favre at informatik.uni-hamburg.de> wrote: > http://1favre.de/arch/ will sync from them aswell from now on. Noted, thanks. Best regards, Jakob