Am 10.05.2016 um 16:25 schrieb Viacheslav Usov:
I do not see how this is relevant. My question was not about types.
My fault.
Cheers, V.
Ulrich.