Anonimatron - the database anonymizer