Hi, On Donnerstag, 3. Januar 2013, Andreas Beckmann wrote: > my for-holger branch now has three commits: merged, pushed & running on piatti now, thanks! cheers, Holger