This edition of the SISAL database was withdrawn on 4 June 2018. It has been superseded by a new edition available at http://dx.doi.org/10.17864/1947.147