Dear Florian, Am 18.08.2013 um 16:24 schrieb Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de>: > Hi René, > > does this solve all your reported problems? Yes, everything is fine. (I told Andreas before, but initially did not inform the whole mailing list) Cheers, René