increased to version 1-3-12 git-svn-id: file:///usr/local/Singular/svn/trunk@4935 2c84dea3-7e68-4137-9b89-c4e89433aadc