Date: Sat, 19 Aug 2017 13:04:34 +0200
From: "J. Hannken-Illjes" <hann...@eis.cs.tu-bs.de>
Message-ID: <03d89673-5cff-432b-acbd-0878a9064...@eis.cs.tu-bs.de>| Did you mean something like this? Christos replied already, but yes, that was what I meant. kre
