A tool for extracting spatial objects from MaInfo tab files into WKT format