From: Ralf Jung Date: Wed, 17 Jul 2019 19:01:08 +0000 (+0200) Subject: link to paper that also mentions this (but does not give many details) X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/a859220c739395803573893936de9e11da335e64?hp=a859220c739395803573893936de9e11da335e64 link to paper that also mentions this (but does not give many details) ---