On Fri, Dec 6, 2013 at 4:15 PM, Stefan Manegold <Stefan.Manegold@cwi.nl> wrote: