Before revision:   The code is available on GitHub (Trimborn et al. 2018b ), such that all results can be reproduced by the reader.
After revision:  The code is available on GitHub (Trimborn et al. 2018 ), such that all results can be reproduced by the reader.