added ST_Difference
bugfixes