Published 2. September 2019 at 2016×2016 in JBatke.