Michael Sammler authored Jul 15, 2020 and Rodolphe Lepigre committed Jul 21, 2020

Co-authored-by: Rodolphe Lepigre <lepigre@mpi-sws.org>